Lists (3)
Stars
Source Code for 'Learn to Program with Assembly' by Jonathan Bartlett
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
📚 Learn to write an embedded OS in Rust 🦀
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
Projects for an undergraduate OS course
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Provides a way of reading a real Starknet State, so you can re-execute an existing transaction in any of the Starknet networks in an easy way
ethrex: Ethereum Rust Execution L1 and L2 client.
AI Driven Machine Automation Platform 🚀🚀
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another …
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…
Concrete: TFHE Compiler that converts python programs into FHE equivalent
Cairo is the first Turing-complete language for creating provable programs for general computation.
The Arweave server and App Developer Toolkit.
A curated list of Rust code and resources.
open source training courses about distributed database and distributed systems
Material de Algebra I - Ciencias de la Computación, FCEN, UBA
A complete computer science study plan to become a software engineer.