hellerve / ptolemy
My reading list
☆81Updated 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 6 months ago
- A modern tool for literate programming☆274Updated 7 years ago
- A neatly typeset version of John McCarthy's classic paper☆120Updated last year
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- x86 assembler in scheme☆29Updated 5 years ago
- Code for http://oilshell.org/blog/☆49Updated 2 weeks ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 10 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 11 years ago
- A Snake-style game in Racket.☆24Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Source Codes for "A Pamphlet against R"☆100Updated 3 years ago
- Variaous articles☆80Updated last year
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 5 years ago
- Data Structure Optimization for Functional Programs☆34Updated 5 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
- arthur whitney's b interpreter translated into a more traditional flavor of C☆96Updated 7 years ago
- A minimalist type-inferred programming language with procedural macro support☆135Updated 4 years ago
- concatenative array language inspired by kdb/+q☆90Updated 2 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- various toys in j☆12Updated 2 years ago
- Noether programming language☆126Updated 7 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 4 years ago
- A curated list of awesome Scheme resources and materials☆70Updated 5 years ago
- single file scheme interpreter with tail call optimization☆83Updated 5 years ago