adaptive-democracy / hopeful-path

Related projects ⓘ

Alternatives and complementary repositories for hopeful-path

• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆26Updated 2 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆19Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆33Updated 2 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago
• Kixiron / crunch-lang
  A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
  ☆52Updated 3 years ago
• fission-codes / spec
  ☆11Updated last year
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• cffi-rs / cffi
  Safe* C foreign function interface for Rust, using proc macros and marshaling types.
  ☆16Updated 6 months ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated 10 months ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 6 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆22Updated last year
• mekaem / atomalloc
  atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust
  ☆26Updated 3 weeks ago
• crowdagger / caribon
  A repetition detector written in Rust
  ☆14Updated 7 years ago
• Erk- / RRust
  RRust, a reversible Rust DSL
  ☆34Updated 7 months ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated 3 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• sunshowers-code / debug-ignore
  A newtype wrapper that causes Debug impls to skip a field.
  ☆20Updated last year
• commune-sh / commune-rs
  Rust implementation of the Commune server.
  ☆12Updated 3 weeks ago
• Kile-Asmussen / genref
  Vale's generational reference allocator as a Rust library
  ☆14Updated last year
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆28Updated last year
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆60Updated 2 years ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 6 months ago
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆10Updated 3 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆39Updated 2 months ago
• Kestrer / bounded-integer
  Bounded integers for Rust
  ☆25Updated 6 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated 3 weeks ago