kcsongor/regex-type kcsongor/regex-type

  • Stars
    star
    14
  • Rank 1,406,460 (Top 29 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kcsongor/regex-type
github

kcsongor

Reviews

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

Repository Details

Regular expression matching of Haskell types

More Repositories

1

generic-lens

Generically derive traversals, lenses, and prisms.
Haskell
435
star
2

arm-doom

Doom-like engine on Raspberry Pi, in pure bare metal assembly
Assembly
53
star
3

purescript-safe-printf

Safe printf-like formatting in purescript
PureScript
36
star
4

symbols

Symbol manipulation
Haskell
35
star
5

typelevel-prelude

Standard module for type-level programming in Haskell
Haskell
31
star
6

purescript-record-format

Experimental record formatting from type-level format strings
PureScript
24
star
7

register-machine-type

Universal Register Machine implemented at the type-level of Haskell
Haskell
23
star
8

invalid-hole-fits

Suggesting substitutions that don't quite fit.
10
star
9

safe-coerce

A friendly shorthand for an old friend
Haskell
6
star
10

talks

Talks
Haskell
6
star
11

lens-backpack

Implementation-agnostic lens interface using backpack.
Haskell
5
star
12

doom-config

Emacs Lisp
4
star
13

vim-hs

vim scripts for writing haskell
Vim Script
3
star
14

printf-safe

Type safe interface for Text.Printf
Haskell
3
star
15

vim-tabbar

An alternative tabline for vim
Vim Script
2
star
16

vim-refactor

Vim Script
2
star
17

haskell-auto-reload-mode

Emacs minor mode to automatically reload interactive haskell sessions
Emacs Lisp
2
star
18

hs-lisp

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

hanoi-type

Solve the Tower of Hanoi at the type level in Haskell
Haskell
1
star
20

purescript-nats

PureScript
1
star
21

dotfiles

Vim Script
1
star
22

hs-brainfuck

Brainfuck REPL in Haskell
Haskell
1
star
23

kcsongor.github.io

My blog
JavaScript
1
star