hellerve / ptolemy
My reading list
☆80Updated 2 years ago
Related projects: ⓘ
- Organize remote meetings for reading computer science papers☆33Updated 4 years ago
- A catalog of code worth reading☆111Updated 7 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…☆87Updated last year
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆279Updated 10 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 4 years ago
- Short essays I've written☆75Updated 8 months ago
- A schemy Lisp backed by Haskell☆60Updated 5 years ago
- An incremental approach to compiler construction☆80Updated 4 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆71Updated 4 years ago
- Finding Game of Life states that lead to pictures.☆17Updated 4 months ago
- single file scheme interpreter with tail call optimization☆82Updated 5 years ago
- Algebraic structures for untyped Racket☆75Updated 2 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 5 years ago
- Brainfuck with Actors☆35Updated 5 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆213Updated 5 years ago
- ☆41Updated 8 years ago
- Resources for the “Beautiful Racket” book [moved to https://git.matthewbutterick.com/mbutterick/beautiful-racket]☆283Updated 3 years ago
- A Snake-style game in Racket.☆24Updated 5 years ago
- A neatly typeset version of John McCarthy's classic paper☆119Updated 9 months ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆83Updated 4 months ago
- syn·di·cate: a language for interactive programs☆152Updated 2 months ago
- Ait - Concatenative language for making visual demos with Canvas☆45Updated 6 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆77Updated 2 years ago
- Sinister's Scheme Compiler!☆24Updated last year
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- Code for http://oilshell.org/blog/☆47Updated 2 months ago
- My personal website☆74Updated this week
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆26Updated 4 years ago
- moved to https://git.matthewbutterick.com/mbutterick/aoc-racket☆36Updated 2 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated last year