joelburget/typed-algebraic-parsing joelburget/typed-algebraic-parsing

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    OCaml
  • License
    BSD 3-Clause "New...
  • Created almost 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
joelburget/typed-algebraic-parsing
github

joelburget

Reviews

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

Repository Details

An implementation of "A Typed, Algebraic Approach to Parsing"

More Repositories

1

d4

Data-Driven Declarative Documents
JavaScript
818
star
2

react-haskell

React bindings for Haskell
Haskell
351
star
3

react-live-editor

live editing react components
JavaScript
163
star
4

pigment

Programming Language meets UI
JavaScript
51
star
5

slimlock

SLiM + slock = slimlock
C++
39
star
6

evm-rust

Minimal EVM implementation in Rust
Rust
29
star
7

lvca

language verification, construction, and analysis
OCaml
20
star
8

hubble

javascript lenses
JavaScript
15
star
9

haskell-loader

A webpack loader for Haskell (!)
JavaScript
15
star
10

haskell-ipld

An implementation of (some of) IPLD
Haskell
12
star
11

material-ui-hs

Material UI in Haskell!
Haskell
11
star
12

easytest

Simple testing toolkit
Haskell
11
star
13

assimp

Haskell FFI bindings for Assimp
C++
11
star
14

ghcjs-box

Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
Shell
11
star
15

daily-typecheckers

I'm writing a typechecker every day
Haskell
9
star
16

mamba-sae

Training and evaluating Sparse Autoencoders for Mamba
Python
9
star
17

simplicity-hs

Implementation of "Simplicity: A New Language for Blockchains"
Haskell
8
star
18

dotfiles

My important config files
Vim Script
6
star
19

Cologne

Good Smelling Ray Tracer
Haskell
6
star
20

jison-loader

jison loader module for webpack
JavaScript
6
star
21

structured-editing

JavaScript
5
star
22

plur

Plurality Monad: Zero, one, or at least two.
Haskell
5
star
23

monaco-ocaml

Ocaml bindings to Microsoft's Monaco editor
JavaScript
4
star
24

lvca-hs

language verification, construction, and automation
Haskell
4
star
25

data-lens-template

Template Haskell utilities for Data.Lens
Haskell
4
star
26

mylens

Haskell
3
star
27

sdl2-image

Haskell bindings to sdl_image for SDL 2
Haskell
3
star
28

gadts

The contents of a talk on GADTs
Haskell
3
star
29

corewarjs

Corewar in Javascript
JavaScript
3
star
30

sdl2-ttf

Haskell bindings for SDL(2)-ttf
Haskell
2
star
31

secret

Haskell
2
star
32

isl-hs

haskell bindings to the integer set library
Haskell
2
star
33

backprop-fun

fun with backprop
Haskell
2
star
34

journal

My public technical journal
Python
2
star
35

berkeley-quorum

Demos / Materials for my Blockchain at Berkeley Developer Course lecture
2
star
36

sdl2-gfx

Haskell bindings to SDL2_gfx
Haskell
2
star
37

turbo-unify

a unification visualization in the browser
Haskell
1
star
38

a-la-carte

Haskell
1
star
39

blog.next

Possibly the technology that will get me blogging again
JavaScript
1
star
40

huttons-raz3r

Haskell
1
star
41

graphreduction

Haskell
1
star
42

tapl

Types and Programming Languages, in Haskell
Haskell
1
star
43

sat

OCaml
1
star
44

hazel

Haskell
1
star
45

formative

My Website
Python
1
star
46

website

The old joelburget.com
JavaScript
1
star
47

diagrams-opengl

An OpenGL Backend for Diagrams
Haskell
1
star
48

joelburget.com

joelburget.com
JavaScript
1
star
49

language-python

Haskell
1
star
50

glowing-ironman

Haskell
1
star
51

benchmarks

OSU RSRG benchmarks website
Python
1
star
52

focusing

Haskell
1
star
53

oplog

Haskell
1
star
54

motivated-list-checking

Haskell
1
star
55

perseus-one-server

An experimental server implementing the Perseus One API
Haskell
1
star
56

symmetric-properties

`Same` / `Unique` monoidal witnesses
Haskell
1
star
57

planetary

playing with programming languages again
Haskell
1
star
58

miftiwac

CSE 731 MIFTIWAC group project
Java
1
star