kalhauge Goto Github PK

hspec-glitter

Not all that Gi[l]tters is gold!

is-my-json-valid

A JSONSchema validator that uses code generation to be extremely fast

jellybeans.vim

A colorful, dark color scheme for Vim.

jvm2json

A program for coverting JVM class-files into JSON

l

Gradual Learning Language

language-c

Source repository for https://hackage.haskell.org/package/language-c

like

A bad approach to javascript pattern matching.

matador_gui

neuron

Haskell meets Zettelkasten, for your plain-text delight.

nixec

A nix evaluation framwork

nixos

Nixos configure files

nixpkgs

Nix Packages collection

ohm

A library and language for parsing and pattern matching.

openglutils

OpenGL ES Utils for Android

petablox

Main distribution of Petablox

planck

Plank messures your time in the shortest possible intervals

prose

A strict and exendable text format

pysmt

Adding SMT expressions and a solver interface to python

python-binary-reduction

A small implementation of binary reduction in python.

qed

QED Java Html Frontend

quiztastic

A Quiztastic Jeopardy App!

reading-group-coq

UCLA Reading group on Coq

rib

Haskell static site generator based on Shake

rib-sample

Sample site for the Rib static site generator

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

sparse

A super light weight python parser

tacoq

Tactics for coq... ready to be copy-pasted!

templates

Just nix templates

thonny

Python IDE for beginners

trix

A nix package helper