thematten Goto Github PK

bootloader

An experimental pure-Rust x86 bootloader

cerveau-test

cofree-bot

A library for building bots compositionally.

compiler-builtins

Porting `compiler-rt` intrinsics to Rust

djinn

Generate Haskell code from a type

dump-core

first-class-families

First-class type families

first-class-instances

[MIRROR] First class instances in (GHC) Haskell

florisboard

An open-source keyboard for Android which respects your privacy. Currently in early-beta.

hask

Funny little Haskell impl

idris-py

Python backend for Idris (generates Python source, not bytecode).

iota

Simple IoT experiment

kakoune

mawww's experiment for a better code editor

mttest

simply test

native-continuations

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

purjs

[WIP] wrapper for running purescript compiler in browser

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.