jeffreykegler / personal
Jeffrey Kegler personal web page
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for personal
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Propositional calculus in Haskell☆11Updated 7 years ago
- Schrödinger's Tcl☆30Updated 9 years ago
- Tools for experimenting diff "slider" heuristics☆38Updated 8 years ago
- Javascript interpreters featuring web workers☆37Updated 8 years ago
- ☆53Updated 3 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- Incremental regular expression matching☆53Updated 11 years ago
- A lambda calculus interpreter. GET IT?☆81Updated 3 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 6 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 13 years ago
- Editor for language composition☆56Updated last year
- Chart parser (Earley SPPF)☆27Updated 5 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- ☆55Updated 7 years ago
- A minimalist type-inferred programming language with procedural macro support☆135Updated 4 years ago
- A simulator for visualising the evolution of π-calculus terms☆40Updated 2 years ago
- ☆16Updated 6 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- A free software repository of infographics and visualizations for understanding Computer Science ideas☆22Updated 6 years ago
- Superposition prover☆16Updated last year
- Forth emulator, as a Racket #lang☆20Updated last year
- A list of compilers with some metadata.☆12Updated 5 months ago
- Julia Implementation of Unums☆42Updated 7 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- PLT Redex models of LVar calculi☆10Updated 9 years ago