Kha / nale

Related projects ⓘ

Alternatives and complementary repositories for nale

• coq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆33Updated this week
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆22Updated 10 months ago
• ksrky / type-inference
  Type inference algorithms for functional programming languages
  ☆10Updated last year
• haskellari / some
  Existential type.
  ☆36Updated 6 months ago
• clash-lang / ghc-typelits-natnormalise
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated 5 months ago
• kbertalan / tyttp
  ☆18Updated 6 months ago
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆16Updated last week
• ohad / collie
  Command line interface library in Idris
  ☆30Updated 3 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated 3 weeks ago
• agda / agda-language-server
  Language Server for Agda
  ☆102Updated last week
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 2 years ago
• axiomed / http
  🌐 | HTTP primitives for Lean 4
  ☆25Updated 3 weeks ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆33Updated last year
• nomeata / haskell-on-fastly
  Experiments about running Haskell via WebAssembly on Fastly
  ☆38Updated last year
• deepflowinc / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆36Updated 2 months ago
• 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
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated last week
• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆29Updated last year
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆38Updated 2 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 3 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆33Updated last year
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆21Updated 3 weeks ago
• dhallix / nix-derivation
  ☆30Updated 4 years ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆41Updated 2 weeks ago
• Lysxia / generic-data-surgery
  Surgery for generic data types
  ☆24Updated 3 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆29Updated 10 months ago
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆29Updated 2 weeks ago