HigherOrderCO / HVM3

Related projects ⓘ

Alternatives and complementary repositories for HVM3

• HigherOrderCO / kindbook
  ☆32Updated this week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆64Updated 2 months ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆21Updated last month
• BartoszMilewski / LinearLens
  Linear lens
  ☆19Updated 9 months ago
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆41Updated 3 months ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 3 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆46Updated 4 months ago
• chshersh / github-tui
  🌒 A TUI for GitHub
  ☆64Updated 4 months ago
• axiomed / http
  🌐 | HTTP primitives for Lean 4
  ☆25Updated 3 weeks ago
• VictorTaelin / Taelang
  my personal lang
  ☆15Updated 10 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated 10 months ago
• BeFunctional / haskell-rust-ffi
  ☆13Updated last year
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆98Updated this week
• Cloudef / mach-flake
  Flake that allows you to get started with Mach engine quickly.
  ☆13Updated 4 months ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆56Updated 2 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 2 months ago
• L-as / procex
  Ergonomic process launching with extreme flexibility and speed (compared to shh)
  ☆24Updated 2 years ago
• cdupont / Timeloop
  ☆40Updated last year
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated last year
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆36Updated last month
• fir-lang / fir
  ☆26Updated this week
• alt-romes / reference-counting
  Reference counting with linear types
  ☆30Updated 4 months ago
• matthunz / view-monad
  ☆23Updated 3 months ago