Kha / nale

Related projects ⓘ

Alternatives and complementary repositories for nale

• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆23Updated 10 months ago
• coq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆33Updated this week
• deepflowinc / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆36Updated 2 months ago
• nomeata / lean-wf-induct
  ☆17Updated 9 months ago
• ksrky / type-inference
  Type inference algorithms for functional programming languages
  ☆10Updated last year
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆66Updated this week
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 6 months ago
• hargoniX / socket.lean
  sockets for Lean 4
  ☆17Updated 4 months ago
• ohad / collie
  Command line interface library in Idris
  ☆30Updated 3 months ago
• kbertalan / tyttp
  ☆19Updated 6 months ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆17Updated 4 months ago
• ajrouvoet / ternary.agda
  An Agda library for programming with ternary relations
  ☆16Updated 2 years ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆13Updated 6 months ago
• tydeu / lean4-alloy
  Write C shims from within Lean code.
  ☆50Updated 3 weeks ago
• arthurpaulino / LeanMySQL
  A MySQL API for Lean 4
  ☆17Updated 2 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 2 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆33Updated last year
• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆29Updated last year
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated 3 weeks ago
• hdgarrood / haskell-incremental-nix-example
  Example to illustrate how to set up incremental Haskell Nix builds
  ☆29Updated 2 years ago
• sayo-hs / heftia
  higher-order algebraic effects done right for Haskell
  ☆72Updated this week
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 7 months ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated last year
• axiomed / http
  🌐 | HTTP primitives for Lean 4
  ☆27Updated last month
• katsujukou / TaPL-in-PureScript
  The PureScript implementation for the *Types and Programming Language* by B. Pierce
  ☆17Updated 5 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆34Updated 2 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated 3 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last month
• DoctorRyner / sae
  An Idris 2 build tool and a package manager
  ☆28Updated last year