Alternatives and similar repositories for ic

Users that are interested in ic are comparing it to the libraries listed below

• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 9 months ago
• HigherOrderCO / kindbook
  ☆50Updated 5 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 11 months ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆45Updated 9 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated last year
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 6 months ago
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆40Updated 3 months ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 4 months ago
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆23Updated 2 years ago
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• awslabs / spindle
  ☆15Updated last month
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆24Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 8 months ago
• eudoxia0 / sm2
  The SM-2 algorithm.
  ☆21Updated 5 months ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆39Updated 8 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆20Updated this week
• euschn / ingpu
  GPU-based interaction nets evaluator
  ☆16Updated 13 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆18Updated 3 years ago