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 last month
• cau-placc / pakcs
  PAKCS: The Portland Aachen Kiel Curry system
  ☆13Updated last month
• fir-lang / fir
  Fir programming language
  ☆81Updated this week
• dunhamsteve / newt
  A toy dependent typed language.
  ☆33Updated last week
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 3 years ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆66Updated last week
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆31Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 5 years ago
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆37Updated 2 weeks ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆19Updated last year
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated last week
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆13Updated 10 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆15Updated 8 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆49Updated last year
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆37Updated 3 weeks ago
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 9 months ago
• qexat / ansifmt
  A simple, lightweight library for ANSI styling.
  ☆24Updated 3 weeks ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated 2 weeks ago
• HigherOrderCO / kindbook
  ☆54Updated 10 months ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆124Updated 4 months ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 8 months ago
• cedille / cedille2
  ☆17Updated 10 months ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 9 months ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆27Updated 2 weeks ago
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆16Updated last year
• leanprover / fp-lean
  Functional Programming in Lean
  ☆122Updated last month