Alternatives and similar repositories for ic:

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

• HigherOrderCO / kindbook
  ☆41Updated 3 weeks ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆70Updated 4 months ago
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆42Updated 5 months ago
• VictorTaelin / Taelang
  my personal lang
  ☆15Updated last year
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆43Updated 4 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆117Updated 11 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆33Updated last year
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• Centril / refl
  Provides a Refl encoding in Rust
  ☆69Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 8 months ago
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆28Updated this week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆61Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆67Updated 3 months ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆17Updated 2 months ago
• VictorTaelin / kind-ai
  ☆23Updated last year
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆15Updated 9 months ago
• lyphyser / deptypes
  ☆16Updated 11 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated last week
• NeoCogi / pfds
  ☆16Updated 3 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated 9 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆47Updated 6 months ago
• HigherOrderCO / HOP
  Lightweight, higher-order parser in Rust.
  ☆12Updated last year
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆18Updated 7 months ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆44Updated 2 weeks ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆18Updated last year
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆101Updated this week
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆28Updated 2 years ago
• Darksonn / watch
  A synchronous message passing channel that only retains the most recent value.
  ☆13Updated last year