lambdaclass / austral.rs

Related projects: ⓘ

• oxidecomputer / poptrie
  A poptrie implementation
  ☆17Updated 8 months ago
• DaniPopes / const-hex
  Fast byte array to hex string conversion
  ☆28Updated last week
• tipo159 / rust-instruction-dispatch
  This is a project to learn how to implement instruction dispatch in Rust.
  ☆18Updated 2 months ago
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆44Updated last month
• argumentcomputer / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆15Updated this week
• graydon / submerge
  experimental databasey thing
  ☆10Updated this week
• vaivaswatha / pliron
  Programming Languages Intermediate Representation
  ☆83Updated last week
• zesterer / yurt
  A highly experiment portable runtime
  ☆18Updated 5 months ago
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆46Updated 8 months ago
• sigp / ethereum_ssz
  SimpleSerialize (SSZ) implementation optimised for speed and security
  ☆14Updated 2 weeks ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆52Updated last year
• alloy-rs / nybbles
  Efficient nibble-sized (4-bit) byte sequence data structure
  ☆23Updated 3 months ago
• vorot93 / libmdbx-rs
  Rust bindings for MDBX
  ☆77Updated this week
• matklad / arbtest
  A minimalist property-based testing library
  ☆99Updated last month
• vorot93 / fastrlp
  Fast RLP serialization library
  ☆14Updated this week
• vorot93 / ethereum-jsonrpc
  Definitions for standard Ethereum JSONRPC APIs
  ☆12Updated last year
• refcell / amble
  First class, scalable rust project generator with batteries included.
  ☆20Updated 10 months ago
• nlordell / ethnum-rs
  256-bit unsigned integer implementation.
  ☆53Updated 7 months ago
• rubydusa / circom-lsp
  A Language Server Protocol Implementation for Circom
  ☆29Updated last year
• clabby / howitzer
  Howitzer is a Fault Proof VM based on the MIPS64 architecture
  ☆12Updated 2 weeks ago
• RustCrypto / book
  Reference manual for the RustCrypto project, implemented as an MDBook [WIP]
  ☆20Updated 8 months ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆58Updated 10 months ago
• 0xcacti / interpreter
  Thorston Ball Interpreter book in rust.
  ☆20Updated 4 months ago
• oxalica / async-lsp
  Asynchronous Language Server Protocol framework
  ☆60Updated 3 weeks ago
• jgraef / reqwest-websocket
  Websockets with Reqwest
  ☆26Updated 2 weeks ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆64Updated last week
• mattiecnvr / cgraph
  A pure-std Rust computation graph library
  ☆15Updated 3 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• vincent-herlemont / native_model
  A thin wrapper around serialized data which add information of identity and version.
  ☆12Updated last week
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆36Updated this week