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
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 4 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆78Updated 7 months ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆143Updated 4 months ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆117Updated 3 years ago
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆58Updated 2 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Updated 10 months ago
• KWARC / llamapun
  common language and mathematics processing algorithms, in Rust
  ☆29Updated last year
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆62Updated 6 months ago
• jneem / ojo
  ☆37Updated 5 months ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆102Updated 7 months ago
• Janko-dev / plogic
  Propositional logic evaluator and rule-based pattern matcher
  ☆21Updated 3 years ago
• advancedresearch / path_semantics
  A research project in path semantics, a re-interpretation of functions for expressing mathematics
  ☆177Updated this week
• jneem / pijul
  DVCS based on a sound theory of patches
  ☆138Updated 4 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆66Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆41Updated 8 months ago
• fatho / logru
  Log(ic) programming in Ru(st).
  ☆24Updated 4 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• CyberHive / rust-cheri
  Fork of Rust adding CHERI support
  ☆13Updated 9 months ago
• fprasx / peapod
  Ultra-compact storage for collections of enums 🌱
  ☆23Updated 3 years ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆28Updated last year
• erlend-sh / opensource-curriculum
  Curriculum for students of ‘open source’, starting with a narrow focus on open software development.
  ☆47Updated 10 months ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 3 years ago
• aakoshh / async-stm-rs
  Asynchronous Software Transactional Memory library for Rust
  ☆28Updated last year
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated last year