Lists (8)
Stars
A menagerie of cute implementations of modern typechecking algorithms
From Zero to QED: An informal introduction to formality with Lean 4
A practical hacker's guide to the C programming language.
The firmware of the Butterfly OSKey, Free from vendor lock-in, supporting hundreds of chips from multiple manufacturers. The minimum supported chip costs only $0.3.
This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.
Tool for shell commands execution, visualization and alerting. Configured with a simple YAML file.
All you need account for authentication and payments on the web.
Convex optimization for fun and profit. (Now in Julia!)
Convex optimization for fun and profit.
Modular CSS Library that brings the beauty of Terminal UIs to the browser
Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO
Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
JavaScript library providing unlinkable ring signatures (SAG) for Nostr pubkeys.
A massively parallel, high-level programming language
An opcode-oriented language that compiles to the EVM
The most optimized ERC20 & Wrapped Ether implementation.
SRCL is an open-source React component and style repository that helps you build web applications, desktop applications, and static websites with terminal aesthetics.