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
  ☆34Updated 2 months ago
• cau-placc / pakcs
  PAKCS: The Portland Aachen Kiel Curry system
  ☆14Updated 3 weeks ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year
• fir-lang / fir
  Fir programming language
  ☆90Updated last week
• dunhamsteve / newt
  A toy dependent typed language.
  ☆36Updated this week
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 3 years ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆128Updated 5 months ago
• SrGaabriel / soma
  ⚗️ | λC pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.
  ☆61Updated this week
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆31Updated 3 weeks ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 9 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆14Updated 8 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆23Updated 3 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• HigherOrderCO / kindbook
  ☆55Updated last year
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆68Updated 3 weeks ago
• qexat / ansifmt
  A simple, lightweight library for ANSI styling.
  ☆24Updated 2 months ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 10 months ago
• ehatti / konna
  ☆16Updated 3 years ago
• Erk- / genfut
  Generate bindings for Futhark
  ☆40Updated 2 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆41Updated last year
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆52Updated last month
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago
• qexat / violette
  Violette is a simple functional programming language.
  ☆26Updated 3 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆62Updated 6 months ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated last week
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆51Updated 2 weeks ago