Alternatives and similar repositories for hopeful-path

Users that are interested in hopeful-path are comparing it to the libraries listed below

• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 4 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• jneem / ojo
  ☆37Updated 2 months ago
• Janko-dev / plogic
  Propositional logic evaluator and rule-based pattern matcher
  ☆21Updated 3 years ago
• corepaper / morum
  Matrix forum
  ☆20Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆53Updated 7 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 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.
  ☆53Updated 4 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆65Updated last year
• advancedresearch / path_semantics
  A research project in path semantics, a re-interpretation of functions for expressing mathematics
  ☆174Updated this week
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated 2 years ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆58Updated 8 months ago
• CyberHive / rust-cheri
  Fork of Rust adding CHERI support
  ☆12Updated 6 months ago
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆58Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• larsiusprime / georgism
  Little website about georgism
  ☆19Updated last month
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• KWARC / llamapun
  common language and mathematics processing algorithms, in Rust
  ☆29Updated last year
• warptools / warpforge
  a build tool -- based on "hashes go in, hashes come out" and hermetic, containerized environments for every step.
  ☆45Updated last year
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated last year
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆60Updated 3 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• nushell / rfcs
  Request For Comment (RFC) repo for Nu
  ☆12Updated 2 years ago
• cryspen / hax
  A Rust verification tool
  ☆324Updated last week