Alternatives and similar repositories for kics2

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

• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 2 months ago
• irskep / djockey
  A powerful static site generator for technical writing and project documentation
  ☆11Updated 6 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated last month
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 3 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 11 months ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 5 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 5 months ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆36Updated 7 months ago
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated 2 weeks ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 4 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 2 months ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 5 months ago
• claby2 / camlcade
  🐫🎮 OCaml Game Engine
  ☆43Updated 3 months ago
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated 2 months ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆60Updated 3 weeks ago
• flix / book
  The Flix Programming Book
  ☆18Updated this week
• isovector / functional-design-patterns
  could it be?
  ☆18Updated 11 months ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated this week
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 11 months ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated this week
• stefan-hoeck / idris2-pack-db
  ☆26Updated this week
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated this week
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆51Updated 11 months ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆22Updated 2 years ago