🇨🇦 Made in Canada
Discover Canada's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Canada.
TOP Haskell Projects
srid/neuron
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
srid/emanote
Emanate a structured view of your plain-text notes
gelisam/frp-zoo
Comparing many FRP implementations by reimplementing the same toy app in each.
isovector/thinking-with-types
📖 source material for Thinking with Types
gelisam/hawk
Haskell text processor for the command-line
diogob/postgres-websockets
PostgreSQL + Websockets
HaskVan/HaskellKoans
Haskell Koans for the Vancouver's Haskell UnMeetup
lykahb/groundhog
This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial https://www.schoolofhaskell.com/user/lykahb/groundhog for introduction
dktr0/estuary
Platform for collaboration and learning through live coding
mthom/shentong
A Haskell implementation of the Shen programming language.
takeoutweight/shade
Interactive, client-side web apps in Haskell
JacquesCarette/Drasil
Generate all the things (focusing on research software)
honza/redish
A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.
gelisam/klister
an implementation of stuck macros
gregorycollins/hashtables
Mutable hash tables for Haskell, in the ST monad
kamek-pf/ntfd
A lightweight notification daemon for fancy desktop integrations
dandoh/web-haskell-graphql-postgres-boilerplate
Modern webserver in Haskell: Graphql + Postgresql + Authentication + DB migration + Dotenv and more
srid/rib
Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
srid/slownews
🐢 Bringing slow news for the nervous among us
isovector/algebra-driven-design
Source material for Algebra-Driven Design
srid/ema
Change-aware static site generator for Haskell programmers
isovector/cornelis
agda-mode for neovim
baig/pandoc-csv2table
A Pandoc filter that renders CSV as Pandoc Markdown Tables.
ShabbyX/libpandoc
C bindings to Pandoc, a markup converter library written in Haskell.
bkirwi/ethereum-haskell
An independent reimplementation of Ethereum in Haskell
thephoeron/quipper-language
Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
jqueiroz/lojban.io
A free and opensource platform for studying the artificial language Lojban.
isovector/ecstasy
💊 a GHC.Generics-based entity component system
zhangchiqing/beginner-friendly-haskell-for-web-development
A book about real world web development in beginner friendly Haskell
isovector/type-errors
⚠️ tools for writing better type errors
isovector/suavemente
💃 an applicative functor that seamlessly talks to HTML inputs
TOTBWF/refinery
⛏️ A refinement proof framework for haskell
smucclaw/dsl
Domain Specific Languages for Computational Law
isovector/cccc
🖼️ the compiling to closed categories compiler
isovector/type-sets
type level sets
roman/Haskell-capataz
OTP-like supervision trees in Haskell
gelisam/category-syntax
do-notation for Category and "Arrow without arr"
gelisam/typelevel-rewrite-rules
rewrite rules for type-level equalities
TOTBWF/tactic-haskell
Tactic Metaprogramming in Haskell
meamy/feynman
Quantum circuit analysis toolkit
unsplash/intlc
Compile ICU messages into code. Supports TypeScript and JSX. No runtime.
JoeyEremondi/haskelm
Haskell to Elm translation using Template Haskell. Contains both a library and executable.
1Computer1/errata
Source code error pretty printing
roman/Haskell-Reactive-Extensions
Implementation of Reactive Extensions in Haskell
roman/Haskell-etc
Declarative configuration spec for Haskell projects
isovector/typecraft
⭐ it's a starcraft clone but with a dope typesystem
gsdlab/clafer
Clafer is a lightweight modeling language
gelisam/linear-examples
Example uses of linear types
muhac/chinese-holidays-calendar
Calendar of Public Holidays in China 中国大陆节假日日历订阅 自动节假日闹钟
isovector/do-notation
deprecated in favor of -XQualifiedDo
gelisam/n-ary-functor
A single typeclass for Functor, Bifunctor, Trifunctor, etc.
davidrusu/MonadSweeper
Minesweeper writtin in Haskell
TOTBWF/omit-generics
Omit fields for instance deriving
gelisam/conway
Demonstrating comonad transformers.
isovector/algebra-checkers
checkers for algebra driven design
gelisam/hyzzy
A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
TOTBWF/muprl
A small NuPRL style proof assistant
srid/spas
Single-page application server using PostgREST and more
Ailrun/core-lang-haskell
Implementation for the book <Implementing functional languages: a tutorial>
avieth/Algebraic
Experiments on the construction of functions
gelisam/ludum-dare-31
The theme for LD31 was "Entire Game on One Screen"
JonathanLorimer/core-warn
Provide warnings for unexpected Core generation
singpolyma/unexceptionalio
IO without any PseudoExceptions
masaeedu/monadoptics
Profunctor optics for the endofunctor category on Hask
singpolyma/cheogram
Moved to https://git.singpolyma.net/cheogram
pbogdan/ngx-top
Monitor nginx access logs in real time.
TOTBWF/teenytt
A Teeny Type Theory
thayerw/msi-xmonad
xmonad.hs (Xmonad >= 0.9) and related config files for my MSI Wind netbook
vito/hummus
A dialect of the Kernel programming language.
isovector/same-same
🤳 ignore the differences between `a` and `Identity a`
isovector/prospect
⛏️ static analysis of free monads
1Computer1/myriad
Arbitrary code execution
srid/Taut
An ambitious Slack JSON export viewer.
isovector/sequoia
🌳 a monadic FRP game library for haskell
srid/rib-sample
Sample site for the Rib static site generator
TOTBWF/iso
A reversible language
isovector/dynahaskell
the dynabook but for haskell
joelwilliamson/bimap
Bidirectional mapping between two key types
PhDP/Akarui
Experimental ML/AI code
gelisam/magic-typelevel-elem
Demonstrating how to make type families faster using typechecker plugins
mgiles/fit
FIT file decoder
jb55/pipes-csv
Streaming csv parser using cassava and pipes
srid/ema-template
Template repo for Ema static site generator
tdp2110/HaskellTiger
Modern Compiler Implementation in ML, in Haskell
expede/rescue
🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
isovector/nimic
a language about nothing
Cognimeta/perdure
Robust persistence for typed immutable data
isovector/constraints-emerge
📤 defer instance resolution until runtime
JonathanLorimer/book-of-monads
Exercises from the 'Book of Monads' by Alejandro Serrano Mena
tsani/servant-github-webhook
Servant combinators for writing secure GitHub webhooks
JonathanLorimer/weft
GraphQL Schema generation in Haskell
Aiden01/iris-lang
A simple, statically-typed programming language
gnaqvi/dotfiles-xmonad
Configuration files of my old Arch Linux+Xmonad based setup
gelisam/cabal-rangefinder
A tool to fill in the version ranges in a cabal file.
isovector/latex-live-snippets
deprecated by `design-tools`
jpittis/toxiproxy-haskell
A Haskell client for Toxiproxy.
luizperes/cantor
A declarative toy language inspired on set comprehensions.
QuentinDuval/HaskellTrainReservationKata
pbogdan/nix-derivation-pretty
Pretty printer for Nix .drv files.
JoeyEremondi/lambda-pi-constraint