Alternatives and similar repositories for kics2

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

• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆35Updated 3 months ago
• cau-placc / pakcs
  PAKCS: The Portland Aachen Kiel Curry system
  ☆14Updated last month
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year
• fir-lang / fir
  Fir programming language
  ☆91Updated this week
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆34Updated 2 years ago
• idris-community / katla
  ☆21Updated 8 months ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆128Updated 6 months ago
• stefan-hoeck / idris2-pack-db
  ☆30Updated this week
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆47Updated 3 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆36Updated this week
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆17Updated 10 months ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆68Updated last week
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated last year
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆44Updated last week
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆53Updated last month
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated this week
• HigherOrderCO-archive / kindbook
  ☆55Updated last year
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆41Updated last year
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 3 months ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆16Updated 3 weeks ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆63Updated 7 months ago
• sdiehl / zero-to-qed
  From Zero to QED: An informal introduction to formality with Lean 4
  ☆89Updated 2 weeks ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated last week
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated 5 months ago
• nh2 / haskell-jobs-statistics
  ☆36Updated 2 years ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆141Updated 2 weeks ago