hellerve / ptolemy
My reading list
☆82Updated 3 years ago
Alternatives and similar repositories for ptolemy:
Users that are interested in ptolemy are comparing it to the libraries listed below
- Organize remote meetings for reading computer science papers☆33Updated 4 years ago
- An incremental approach to compiler construction☆81Updated 4 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- My personal website☆84Updated this week
- The Balloon programming language and interpreter.☆17Updated 7 years ago
- Code for http://oilshell.org/blog/☆50Updated last week
- Noether programming language☆126Updated 7 years ago
- Algebraic structures for untyped Racket☆77Updated 8 months ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- A tiny wiki engine. (Fossil Export)☆13Updated last year
- A catalog of code worth reading☆113Updated 7 years ago
- CMSC 430 Design and Implementation of Programming Languages☆49Updated 3 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- single file scheme interpreter with tail call optimization☆82Updated 5 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 12 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated last year
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- A neatly typeset version of John McCarthy's classic paper☆122Updated last month
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆69Updated 8 years ago
- The Lark programming language.☆58Updated 14 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.☆302Updated last month
- ☆78Updated 5 years ago