Alternatives and similar repositories for fenced-tangle-supplemental

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

• HnimNart / deeplearning
  ☆53Updated 2 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆77Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 8 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 3 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆81Updated 8 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated last year
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 4 years ago
• advancedresearch / path_semantics
  A research project in path semantics, a re-interpretation of functions for expressing mathematics
  ☆175Updated 2 weeks ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated this week
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 5 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆57Updated 3 months ago
• Erk- / genfut
  Generate bindings for Futhark
  ☆39Updated 2 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆32Updated 11 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 7 years ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆36Updated 6 months ago
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆91Updated 3 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 4 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated last year
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated last week
• vmchale / apple
  Apple array system
  ☆68Updated last week