Alternatives and similar repositories for ic

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

• HigherOrderCO / kindbook
  ☆51Updated 6 months ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 7 months ago
• nicksenger / glowstick
  Gradual typing for tensor shapes in Rust
  ☆76Updated 2 weeks ago
• awslabs / spindle
  ☆15Updated last month
• procyon-rs / showata
  A library of to show data (in browser, evcxr_jupyter) as table, chart...
  ☆29Updated 3 months ago
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆44Updated 11 months ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 9 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆18Updated 3 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 10 months ago
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆18Updated this week
• atomCAD / atomCAD
  ☆32Updated 3 weeks ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated this week
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• conjure-cp / uniplate
  Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.
  ☆21Updated last week
• eudoxia0 / sm2
  The SM-2 algorithm.
  ☆22Updated 6 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆27Updated 2 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆103Updated last week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• lecopivo / scientific-computing-lean
  work in progress book on Scientific Computing in Lean
  ☆13Updated 4 months ago
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆25Updated 5 months ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆76Updated last week
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆57Updated last year
• jkelleyrtp / cargo-easy-release
  A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io
  ☆14Updated 2 years ago