Alternatives and similar repositories for interaction-net-resources

Users that are interested in interaction-net-resources are comparing it to the libraries listed below

• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 4 months ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆39Updated 8 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆33Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• etiams / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆64Updated last week
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆20Updated this week
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• marcusrossel / verified-compiler
  A toy example of a verified compiler.
  ☆28Updated 2 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 9 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 4 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated last week
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 11 months ago
• HigherOrderCO / kindbook
  ☆50Updated 5 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 11 months ago
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆104Updated last week
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 2 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• exaexa / minihm
  toy implementation of Hindley-Milner type system that prints out inference steps
  ☆12Updated 3 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆46Updated 4 months ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• fir-lang / fir
  Fir programming language
  ☆61Updated this week
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• etiams / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆22Updated this week
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• osa1 / h10
  A Haskell 2010 type checker
  ☆17Updated last year