hellerve / ptolemy
My reading list
☆81Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for ptolemy
- Organize remote meetings for reading computer science papers☆33Updated 4 years ago
- A catalog of code worth reading☆112Updated 7 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆73Updated 4 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- x86 assembler in scheme☆29Updated 5 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- single file scheme interpreter with tail call optimization☆82Updated 5 years ago
- A toy programming language.☆37Updated 10 months ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- moved to https://git.matthewbutterick.com/mbutterick/aoc-racket☆36Updated 2 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
- Algebraic structures for untyped Racket☆75Updated 4 months ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆119Updated 11 years ago
- Create websites using any mix of programming languages or workflows 💎☆78Updated 3 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆78Updated 2 years ago
- Resources for the “Beautiful Racket” book [moved to https://git.matthewbutterick.com/mbutterick/beautiful-racket]☆285Updated 3 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 10 years ago
- My personal website☆78Updated this week
- A compiler for a lisp-like language targeting LLVM IR, x86 assembly☆129Updated 2 years ago
- an ersatz lisp for tiny birds. a code riff.☆43Updated last year
- Brainfuck with Actors☆36Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆75Updated 2 years ago
- A Snake-style game in Racket.☆24Updated 5 years ago
- Variaous articles☆80Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- An incremental approach to compiler construction☆80Updated 4 years ago