kelleyvanevert/splb-spla
Compiling the Splb & Spla languages
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.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Compiling the Splb & Spla languages
A basic Mizar formalization of (untyped) lambda calculus
An LCF-style proof assistant for minimal propositional logic (in OCaml)
A markdown parser and compiler. Built for speed.