hellerve / ptolemy
My reading list
☆82Updated 2 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
- A catalog of code worth reading☆113Updated 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…☆89Updated last year
- Algebraic structures for untyped Racket☆76Updated 7 months ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A neatly typeset version of John McCarthy's classic paper☆122Updated 2 weeks ago
- Noether programming language☆126Updated 7 years ago
- Code for http://oilshell.org/blog/☆50Updated 2 weeks ago
- ☆213Updated this week
- single file scheme interpreter with tail call optimization☆82Updated 5 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- My personal website☆83Updated this week
- ☆42Updated 8 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Learn Common Lisp in one month intervals (current period is November 27 - December 27 2018)☆32Updated 6 years ago
- Study of language design and implementation.☆67Updated 4 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 11 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- A toy programming language.☆38Updated last year
- Sild is a lisp dialect☆43Updated 2 months ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- Finding Game of Life states that lead to pictures.☆18Updated 9 months ago
- SKI combinators☆53Updated 7 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago