Alternatives and similar repositories for kics2

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

• cau-placc / pakcs
  PAKCS: The Portland Aachen Kiel Curry system
  ☆14Updated this week
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆34Updated last month
• fir-lang / fir
  Fir programming language
  ☆84Updated this week
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year
• HigherOrderCO / kindbook
  ☆55Updated 11 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 8 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆35Updated this week
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆19Updated last year
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆68Updated this week
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 2 months ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated last month
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated this week
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆41Updated 2 weeks ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 11 months ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 3 years ago
• Lulzx / hvm
  A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
  ☆26Updated this week
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 9 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆21Updated 3 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 8 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆17Updated last year
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆61Updated 5 months ago
• SparkyPotato / yam
  A low level, expressive language
  ☆13Updated last year
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆29Updated 3 years ago
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated 4 months ago