-
Technemetis Ltd.
- London
- http://www.natpryce.com
Stars
Systems language with linear types and capability-based security.
Repository hosting the Software Craft And Testing Unconference UK website.
SponsorBlock client for all YouTube TV clients.
A library to serialize/deserialize Json fast and safely without reflection or generators
Command-line tools for working with Architecture Decision Records
Docker in Docker container optimized for use with Concourse CI
📜 Generates table of contents for markdown files inside local git repository. Links are compatible with anchors generated by github or other sites.
Java Swing Date Picker. Easy to use, good looking, nice features, and localized. Uses the JSR-310 standard.
A certifiable defense against adversarial examples by training neural networks to be provably robust
MinIO is a high-performance, S3 compatible object store, open sourced under GNU AGPLv3 license.
Code for the paper "On First-Order Meta-Learning Algorithms"
A React component for building Web forms from JSON Schema.
🍞📝 Markdown WYSIWYG Editor. GFM Standard + Chart & UML Extensible.
Typesafe, compositional routing and reverse routing for web apps and HTTP microservices
A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Develo…
The Functional toolkit for Kotlin HTTP applications. http4k provides a simple and uniform way to serve, consume, and test HTTP services.
Randomly mutate JSON, XML, HTML forms, text and binary data for fuzz testing
HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom
Create book from markdown files. Like Gitbook but implemented in Rust
Test and Visualize and Manage Dependencies of classes and packages in JVM Byte Code (think Scala and Java)
A new JDBC driver for PostgreSQL aimed at supporting the advanced features of JDBC and Postgres
TypeDB: the power of programming, in your database
Record Query - A tool for doing record analysis and transformation
Pure Javascript OCR for more than 100 Languages 📖🎉🖥
Security Guide for Developers (实用性开发人员安全须知)