Alternatives and similar repositories for kics2

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

• fir-lang / fir
  Fir programming language
  ☆80Updated last week
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆34Updated 2 weeks ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆32Updated last week
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆13Updated 10 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated last week
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆65Updated this week
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆13Updated 7 months ago
• ncfavier / agda-stuff
  My Agda blog/lab/playground
  ☆13Updated last month
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆60Updated 4 months ago
• HigherOrderCO / kindbook
  ☆53Updated 9 months ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• cedille / cedille2
  ☆16Updated 9 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 8 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆37Updated 9 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 6 months ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆122Updated 3 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• idris-community / katla
  ☆21Updated 5 months ago
• athas / aoc22
  Advent of Futhark
  ☆13Updated 11 months ago
• stefan-hoeck / idris2-pack-db
  ☆28Updated last week
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated 2 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated last month
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆19Updated 2 years ago
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆27Updated 2 weeks ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 4 months ago