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.
  ☆75Updated 7 months ago
• HigherOrderCO / kindbook
  ☆47Updated 3 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated 11 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆43Updated 8 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆95Updated this week
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆43Updated 6 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 9 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 5 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 5 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆28Updated 2 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆15Updated this week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 10 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated last month
• axiomed / http
  🌐 | HTTP primitives for Lean 4
  ☆34Updated 5 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆58Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆68Updated last month
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆102Updated this week
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆24Updated 2 months ago
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆16Updated this week
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 4 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆66Updated 3 weeks ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 2 months ago
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆33Updated last year
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆22Updated 9 months ago