kelleyvanevert/pa-mizar-lambda
A basic Mizar formalization of (untyped) lambda calculus
Developer Profile
kelleyvanevert
Discovered public repositories for kelleyvanevert in the GitHub catalog.
kelleyvanevert/minprop_pa
An LCF-style proof assistant for minimal propositional logic (in OCaml)
kelleyvanevert/marked
A markdown parser and compiler. Built for speed.
kelleyvanevert/jscreole
A JavaScript library for parsing Creole 1.0 wiki markup.
kelleyvanevert/roodwitblauw.com
Rood Wit Blauw
kelleyvanevert/highlight.js
Javascript syntax highlighter
kelleyvanevert/docco
Literate Programming can be Quick and Dirty.
kelleyvanevert/jquery-backstretch
Backstretch is a simple jQuery plugin that allows you to add a dynamically-resized, slideshow-capable background image to any page or element. The image will stretch to fit the page/element, and will automatically resize as the window/element size changes.
kelleyvanevert/substance.github.com
Substance - Towards open digital publishing
kelleyvanevert/latex-online
Online latex compiler. You give it a link, it gives you PDF
kelleyvanevert/jsgo
Go on a torus, why not? :)
kelleyvanevert/Werkstuk-Prototypes
Werkstuk over prototypes en lexicaal bereik voor Semantiek & Correctheid
kelleyvanevert/List-Category-Posts
WordPress plugin which allows you to list posts from a category into a post/page using the [catlist] shortcode.
kelleyvanevert/gitlabhq_install
Installation scripts
kelleyvanevert/jsblokus
Public repository.
kelleyvanevert/studie-roundrobin-scheduling
Public repository.
kelleyvanevert/studie-bb-windmolen
Public repository.
kelleyvanevert/studie-uppaal-savages
Public repository.
kelleyvanevert/nodescrabble
A simple scrabble game UI and server implemented with NodeJS, Express and jQuery
kelleyvanevert/P-P-CPU
The hades CPU I'm building for my course "Processen & Processoren"
kelleyvanevert/R-D1
Project R&D1