jeffreykegler / personal
Jeffrey Kegler personal web page
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for personal
- Incremental regular expression matching☆53Updated 11 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆37Updated 7 years ago
- A pretty printing library☆24Updated 5 years ago
- World's dumbest fuzzer☆52Updated 11 months ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- A list of compilers with some metadata.☆12Updated 5 months ago
- Tools for experimenting diff "slider" heuristics☆38Updated 8 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- ☆22Updated 12 years ago
- ☆53Updated 3 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- A modern tool for literate programming☆273Updated 7 years ago
- The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…☆16Updated 7 years ago
- MiniZinc documentation☆16Updated last year
- A docker image for Fortran -> js compilation☆22Updated 10 years ago
- Code for http://oilshell.org/blog/☆48Updated last month
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 4 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- a web-based development environment for constructing parsers by example (backend code)☆16Updated 7 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆55Updated 8 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- ☆16Updated 6 years ago
- A lambda calculus interpreter. GET IT?☆81Updated 3 years ago
- APL function editor written in APL☆13Updated last week
- Schrödinger's Tcl☆30Updated 9 years ago
- ☆10Updated 3 years ago