Alternatives and similar repositories for fenced-tangle-supplemental

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

• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 7 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• HnimNart / deeplearning
  ☆53Updated 2 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 3 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆76Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 4 months ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 4 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated last month
• jkoppel / ecta
  ☆37Updated last year
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated this week
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆106Updated last month
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 6 years ago
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 11 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 3 months ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆114Updated this week
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• andrejbauer / marshall
  Real number computation software
  ☆127Updated 3 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• Erk- / genfut
  Generate bindings for Futhark
  ☆39Updated 2 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 3 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated last week
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 2 years ago