TheMatten's repositories
first-class-instances
[MIRROR] First class instances in (GHC) Haskell
bootloader
An experimental pure-Rust x86 bootloader
cofree-bot
A library for building bots compositionally.
compiler-builtins
Porting `compiler-rt` intrinsics to Rust
djinn
Generate Haskell code from a type
first-class-families
First-class type families
florisboard
An open-source keyboard for Android which respects your privacy. Currently in early-beta.
idris-py
Python backend for Idris (generates Python source, not bytecode).
kakoune
mawww's experiment for a better code editor
mttest
simply test
neuron
Future-proof and simple-to-use notes system based on Zettelkasten.
NewPipe
A lightweight Youtube frontend for Android.
polysemy
:gemini: higher-order, no-boilerplate, zero-cost monads
polysemy-zoo
:monkey::panda_face: Experimental, user-contributed effects and interpreters for polysemy
purescript
A strongly-typed language that compiles to JavaScript
purescript-datetime
Date and time library for PureScript.
purescript-lists
Linked Lists
pyxl
A Python extension for writing structured and reusable inline HTML.
relude
🌀 Relude: Reload your Prelude
show-combinators
Minimalistic Haskell pretty-printing library
simple-sql-parser
SQL parser in Haskell
stack-templates
Haskell project templates for use in `stack new`
stackage
"Stable Hackage": vetted consistent packages from Hackage
text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.