Alternatives and similar repositories for hopeful-path:

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

• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆15Updated 6 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated 11 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• CyberHive / rust-cheri
  Fork of Rust adding CHERI support
  ☆12Updated 2 weeks ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 6 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• Erk- / RRust
  RRust, a reversible Rust DSL
  ☆40Updated 5 months ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated last year
• muon-data / muon
  MuON data interchange specification
  ☆11Updated 4 years ago
• corepaper / morum
  Matrix forum
  ☆19Updated last year
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• kennytm / omgwtf8
  Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit
  ☆37Updated 7 years ago
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 7 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 4 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆119Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 3 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated last year
• wires / wtf
  Well Typed Foundations 🏛️
  ☆15Updated 4 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• oxigraph / json-event-parser
  JSON event parser is a simple streaming JSON parser and serializer implementation in Rust.
  ☆12Updated last month