Alternatives and similar repositories for kics2

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

• irskep / djockey
  A powerful static site generator for technical writing and project documentation
  ☆11Updated 7 months ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 3 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated 2 months ago
• lecopivo / scientific-computing-lean
  work in progress book on Scientific Computing in Lean
  ☆13Updated 4 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 5 months ago
• ngernest / pbt-bibliography
  A collaborative bibliography of papers related to property-based testing
  ☆13Updated last week
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• horvathandris / dime
  An ISO-4217 currency library for Gleam
  ☆10Updated last month
• HigherOrderCO / kindbook
  ☆51Updated 6 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 7 months ago
• fir-lang / fir
  Fir programming language
  ☆64Updated this week
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 4 months ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 3 weeks ago
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆25Updated 5 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆23Updated 2 years ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated 9 months ago
• shivaraj-bh / haskell-rust-ffi-template
  A template repository demonstrating how to use a rust library as a dependency in haskell
  ☆10Updated last week
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 6 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• misuzu / process-compose-deploy
  PoC process-compose deployments for NixOS
  ☆8Updated 6 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆29Updated this week
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 5 months ago
• leanprover / SHerLOC
  A StableHLO analyzer in Lean
  ☆18Updated this week
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated last year
• vmchale / dickinson
  Text generation language
  ☆34Updated last week