kcsongor/typelevel-prelude

Stars
31
Rank 801,824 (Top 17 %)
Language
Haskell
License
BSD 3-Clause "New...
Created about 5 years ago
Updated almost 5 years ago

kcsongor/typelevel-prelude

kcsongor

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Standard module for type-level programming in Haskell

generic-lens

Generically derive traversals, lenses, and prisms.

arm-doom

Doom-like engine on Raspberry Pi, in pure bare metal assembly

purescript-safe-printf

Safe printf-like formatting in purescript

symbols

Symbol manipulation

purescript-record-format

Experimental record formatting from type-level format strings

register-machine-type

Universal Register Machine implemented at the type-level of Haskell

regex-type

Regular expression matching of Haskell types

invalid-hole-fits

Suggesting substitutions that don't quite fit.

safe-coerce

A friendly shorthand for an old friend

talks

lens-backpack

Implementation-agnostic lens interface using backpack.

doom-config

vim-hs

vim scripts for writing haskell

printf-safe

Type safe interface for Text.Printf

vim-tabbar

An alternative tabline for vim

vim-refactor

haskell-auto-reload-mode

Emacs minor mode to automatically reload interactive haskell sessions

hs-lisp

A simple functional language with a lisp-like syntax written in Haskell

hanoi-type

Solve the Tower of Hanoi at the type level in Haskell

purescript-nats

dotfiles

hs-brainfuck

Brainfuck REPL in Haskell

kcsongor.github.io