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 8 months ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• HigherOrderCO / kindbook
  ☆47Updated 4 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 7 months ago
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last week
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆43Updated 9 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆59Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 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!
  ☆103Updated last week
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 3 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆104Updated this week
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆54Updated 7 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 10 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆70Updated last month
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆27Updated last year
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆50Updated 10 months ago
• AlexBuz / rust_to_bf
  A compiler from a subset of Rust to Brainfuck
  ☆13Updated 7 months ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆48Updated last week
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year