andreasabel / haskell-style-guide

Related projects: ⓘ

• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 3 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆17Updated 8 months ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated 2 weeks ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• cdupont / Timeloop
  ☆40Updated 10 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 9 months ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated 4 months ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• mstewartgallus / prologish
  ☆12Updated 3 years ago
• gelisam / linear-examples
  Example uses of linear types
  ☆42Updated 4 years ago
• themattchan / core
  SPJ's tutorial on implementing functional languages
  ☆28Updated 5 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆22Updated 2 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆28Updated 9 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆32Updated last week
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated this week
• andorp / IdrisExtSTGCodegen
  ☆24Updated last year
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated last year
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 3 months ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆24Updated 4 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• rootmos / silly-joy
  Interpreter for Joy in Haskell using extensible-effects
  ☆34Updated 7 years ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 2 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated 3 weeks ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• ziman / itt-idris
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Updated 10 months ago