π¨π¦ 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
LaurentRDC/pandoc-plot
Render and include figures in Pandoc documents using your plotting toolkit of choice
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
mthom/shentong
A Haskell implementation of the Shen programming language.
dktr0/estuary
Platform for collaboration and learning through live coding
takeoutweight/shade
Interactive, client-side web apps in Haskell
honza/redish
A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.
JacquesCarette/Drasil
Generate all the things (focusing on research software)
gregorycollins/hashtables
Mutable hash tables for Haskell, in the ST monad
gelisam/klister
an implementation of stuck macros
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)
isovector/algebra-driven-design
Source material for Algebra-Driven Design
srid/slownews
π’ Bringing slow news for the nervous among us
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
jqueiroz/lojban.io
A free and opensource platform for studying the artificial language Lojban.
thephoeron/quipper-language
Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
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
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.
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
1Computer1/errata
Source code error pretty printing
gsdlab/clafer
Clafer is a lightweight modeling language
meamy/feynman
Quantum circuit analysis toolkit
gelisam/linear-examples
Example uses of linear types
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
micheleriva/CadregaLisp
π Just another useless programming language, but with inganno.
TOTBWF/muprl
A small NuPRL style proof assistant
srid/spas
Single-page application server using PostgREST and more
gelisam/hyzzy
A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
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
Ailrun/core-lang-haskell
Implementation for the book <Implementing functional languages: a tutorial>
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
TOTBWF/teenytt
A Teeny Type Theory
pbogdan/ngx-top
Monitor nginx access logs in real time.
vito/hummus
A dialect of the Kernel programming language.
thayerw/msi-xmonad
xmonad.hs (Xmonad >= 0.9) and related config files for my MSI Wind netbook
isovector/prospect
βοΈ static analysis of free monads
isovector/same-same
π€³ ignore the differences between `a` and `Identity a`
lf-/dotfiles
Dotfiles, a monorepo, who is to know!!
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
1Computer1/myriad
Arbitrary code execution
joelwilliamson/bimap
Bidirectional mapping between two key types
LaurentRDC/pandoc-pyplot
A Pandoc filter to generate Matplotlib/Plotly figures directly in documents
gelisam/magic-typelevel-elem
Demonstrating how to make type families faster using typechecker plugins
PhDP/Akarui
Experimental ML/AI code
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
isovector/nimic
a language about nothing
expede/rescue
πβ¨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
luizperes/cantor
A declarative toy language inspired on set comprehensions.
isovector/constraints-emerge
π€ defer instance resolution until runtime
Cognimeta/perdure
Robust persistence for typed immutable data
tdp2110/HaskellTiger
Modern Compiler Implementation in ML, in Haskell
JoeyEremondi/haskelm-old
Haskell to Elm translation using Template Haskell. Contains both a library and executable.
gelisam/cabal-rangefinder
A tool to fill in the version ranges in a cabal file.
JonathanLorimer/weft
GraphQL Schema generation in Haskell
isovector/latex-live-snippets
deprecated by `design-tools`
JonathanLorimer/book-of-monads
Exercises from the 'Book of Monads' by Alejandro Serrano Mena
jpittis/toxiproxy-haskell
A Haskell client for Toxiproxy.
pbogdan/nix-derivation-pretty
Pretty printer for Nix .drv files.
Aiden01/iris-lang
A simple, statically-typed programming language