ixchow / freiscale
Freiscale Semicomposer -- music composition without scales
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for freiscale
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Mystery Languages☆34Updated last year
- Algorithm for locating anagrams and evaluating their quality☆13Updated 7 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- Flexible and Constant Time Programming Language☆198Updated 2 years ago
- My personal repository of formally verified mathematics.☆291Updated 2 weeks ago
- Fractran interpreter in Fractran☆34Updated 9 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆134Updated 3 weeks ago
- ☆40Updated 5 years ago
- Noether programming language☆126Updated 7 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s☆217Updated 2 months ago
- The WIP book for CPSC 411☆59Updated last month
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- Datalog with support for SMT queries and first-order functional programming☆153Updated 2 weeks ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆31Updated 7 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 10 years ago
- Shrinkray is a modern multi-format test-case reducer☆89Updated 3 weeks ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 7 years ago
- ☆89Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆76Updated 3 weeks ago
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- A relational interpretation of Lojban☆32Updated last week
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- A compiler for functional programs on serialized data☆157Updated this week
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year