tsani/typarsec tsani/typarsec

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tsani/typarsec
github

tsani

Reviews

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

Repository Details

Type-level parser combinators

More Repositories

1

tetrefis

Tetris as an EFI application
C
53
star
2

jerrington.me

Blog & personal website
Idris
18
star
3

comp-302-review

Review problems for COMP 302
OCaml
18
star
4

servant-github-webhook

Servant combinators for writing secure GitHub webhooks
Haskell
17
star
5

eval

An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
OCaml
10
star
6

dotfiles

Collected dotfiles and other scripts.
GDB
8
star
7

hacksignal

Hackathon mentor dispatching platform as a service.
Python
7
star
8

vtikz

TikZ framework for typesetting videos
TeX
5
star
9

reproducible

Wrapper script to ensure the reproducibility of data-oriented scripts.
Python
4
star
10

tpb

"tsani's pushbullet client"
Haskell
4
star
11

ed-zero-hooker

Text hooker for Zero no Kiseki
C++
4
star
12

apollo

HTTP MPD integration for Labcoders Radio
Haskell
4
star
13

fancylojban

Lojban the dependently typed functional programming language
Haskell
3
star
14

game2048-hs

A clone of 2048 written in Haskell with an AI to play it.
Haskell
2
star
15

servant-otoke

Token authentication with Servant
Haskell
2
star
16

gol3d

Three-dimensional cellular automata explorer and utilities.
Java
2
star
17

pushbullet-hs

Pushbullet types and API client in Haskell
Haskell
2
star
18

p3s

A sound synthesis library in Haskell
Haskell
1
star
19

chrona

Chrona is a high-level functional reactive programming language
Haskell
1
star
20

game-clones-cpp

Clones of various games in C++.
C++
1
star
21

school-build

A simple make-based continuous integration server in Haskell
Haskell
1
star
22

apollo-extension

Browser extension for Apollo
TypeScript
1
star
23

fuckdown2

A just-in-time brainfuck compiler
Haskell
1
star
24

projecteuler-haskell

Solutions to Project Euler problems written in Haskell as practice
Haskell
1
star
25

cv

My cv.
TeX
1
star
26

lcr

Listen to http://radio.labcoders.club
TypeScript
1
star
27

blockchain-conduit

Haskell bindings for the Blockchain.info API
Haskell
1
star