joelburget Goto Github PK

lezer-sandbox

lezer-tree-visualizer

A basic tool for debugging lezer syntax trees in the console

livegrep

Interactively grep source code. Source for http://livegrep.com/

lock-passwordless

Auth0 Lock Passwordless

lvca

language verification, construction, and analysis

lvca-hs

language verification, construction, and automation

macdown

Open source Markdown editor for OS X.

martin-lof

papers of Per Martin Löf

matchable

Matchable Functors

material-ui-hs

Material UI in Haskell!

materializedviews

memfinity

social spaced repetition system

memotrie

Trie-based memo functions

miftiwac

CSE 731 MIFTIWAC group project

monaco-ocaml

Ocaml bindings to Microsoft's Monaco editor

motivated-list-checking

my_configs

My .*rc files and some stuff. Lots of garbage, use with caution.

mylens

next-apollo-example

Next & Apollo Example

nibble

Ways of parsing four-bit integers, i.e. nibbles.

nixpkgs

Nix Packages collection

ocaml-cbor

OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/

ocaml-ci

A CI for OCaml projects

ocaml-transformer

A simple transformer in OCaml for learning (following https://github.com/nelhage/transformer-rs)

odoc2docset

Create Dash docsets from Odoc generated documentation.

oh-my-fish

The Fish Shell Framework

oplog

pact

The Pact Smart Contract Language

peg-markdown-highlight

C library for Markdown syntax highlighting, using a recursive-descent parser.

perseus-one-server

An experimental server implementing the Perseus One API