Alternatives and similar repositories for fenced-tangle-supplemental

Users that are interested in fenced-tangle-supplemental are comparing it to the libraries listed below

• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 9 months ago
• HnimNart / deeplearning
  ☆53Updated 4 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated last week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆78Updated last year
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆16Updated 4 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 4 months ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆55Updated last month
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last week
• vmchale / apple
  Apple array system
  ☆68Updated last week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆75Updated 6 months ago
• harp-lab / gdlog
  ☆87Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆54Updated 3 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 2 weeks ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆21Updated 3 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• Erk- / genfut
  Generate bindings for Futhark
  ☆40Updated 2 years ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆118Updated last month
• jkoppel / ecta
  ☆37Updated last year
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆83Updated 8 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 5 months ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆108Updated this week
• luleyleo / cargo-futhark
  Futhark integration for Rust projects
  ☆16Updated 3 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆81Updated last week
• frankmcsherry / datatoad
  An interactive Datalog
  ☆62Updated this week