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
Sorting:
- Organize remote meetings for reading computer science papers☆33Updated 4 years ago
- A catalog of code worth reading☆113Updated 7 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 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 2 years ago
- Finding Game of Life states that lead to pictures.☆18Updated last year
- A neatly typeset version of John McCarthy's classic paper☆123Updated 3 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A Snake-style game in Racket.☆25Updated 5 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- Algebraic structures for untyped Racket☆77Updated 10 months ago
- Interpreter for a simple Lisp. Written in Prolog.☆148Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- Source Codes for "A Pamphlet against R"☆99Updated 3 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- Code for http://oilshell.org/blog/☆50Updated this week
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 5 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- Edit Game Boy games in-browser while they're running.☆35Updated 4 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆121Updated 12 years ago
- Noether programming language☆127Updated 8 years ago
- Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.☆307Updated 2 months ago
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Updated 5 years ago
- moved to https://git.matthewbutterick.com/mbutterick/aoc-racket☆36Updated 2 years ago
- ☆42Updated 9 years ago
- A Bel Lisp interpreter built with C, written as a book/literate program (archived)☆54Updated 4 years ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago