Attempt at creating a tensor type in Idris with dimension-safe operations.

A tiny hardware-accelerated pixel frame buffer. 🦀

Declarative GTK+ programming in Haskell

Dependent type checker using normalisation by evaluation

Implementation of Dhall in Dhall

Nix-based incremental build tool for Haskell projects

"DreymaR's Big Bag of Keyboard Tricks" for *nix with XKB

PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...

A shallow embedding of the OpenGL Shading Language in Haskell

📤 defer instance resolution until runtime

🖼️ the compiling to closed categories compiler

A total recursion scheme library for Dhall

the millions of gestures that constitute life on earth

it's like anki but it sucks less

Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.

Experiments with Servant and Selda

Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs

Linux VR Desktop

Cross-platform, fast, feature-rich, GPU based terminal

Command-line spaced-repetition learning software. CL (command line) + Anki (popular spaced-repetition software) = Clanki.

Adventures in packrat parsing

DEPRECATED: Use bevel instead.

Learning F#, nothing to see here

A Pandoc filter for including code from source files

Bucklescript data structures for effectful sync and async programming

Compile Dhall expressions to Cabal files

💊 a GHC.Generics-based entity component system

The LLVM LHC Haskell Optimization System

Shell programming, Haskell style

Numerical computation in native Haskell