edemko / nanopass

Related projects: ⓘ

• ners / dosh
  The power of Haskell in your terminal!
  ☆41Updated last month
• phadej / cabal-sat
  Using cabal-install as SAT solver
  ☆13Updated last year
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆22Updated 5 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated last year
• haskellari / some
  Existential type.
  ☆36Updated 4 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• mstewartgallus / prologish
  ☆12Updated 3 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 9 months ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆25Updated this week
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆75Updated 4 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 5 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆49Updated 11 months ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆18Updated last month
• FrozenWinters / SSTs
  Work in progress on semi-simplicial types
  ☆23Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆31Updated this week
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆27Updated 2 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆28Updated 4 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆32Updated last week
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 3 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated this week
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated last year
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects
  ☆44Updated this week
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 4 months ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 2 years ago
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year