My reading list
☆85Mar 11, 2022Updated 4 years ago
Alternatives and similar repositories for ptolemy
Users that are interested in ptolemy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Lua/Python Bytecode Disassembler written in C, without external dependencies☆13Mar 28, 2017Updated 9 years ago
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 11 months ago
- My personal blog☆17Jun 25, 2026Updated last week
- A schemy Lisp backed by Haskell☆60Nov 8, 2018Updated 7 years ago
- cursor location indicator for x11☆17Aug 18, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An R-like GLM package for Apache Spark☆10Aug 6, 2015Updated 10 years ago
- a modern terminal client☆37Jul 19, 2017Updated 8 years ago
- Brainfuck with Actors☆36Jan 2, 2019Updated 7 years ago
- Just another IRC bot.☆14Jun 24, 2026Updated last week
- currently vaporware☆12Aug 25, 2020Updated 5 years ago
- ☆41Nov 11, 2025Updated 7 months ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- A tabbed tiling window manager, with fur.☆36Feb 28, 2022Updated 4 years ago
- Documents for my time at the Recurse Center☆28Apr 3, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- (deprecated) Radio4000 (v1); public media library system, calm, non-intrusive☆45Apr 27, 2024Updated 2 years ago
- A library for hot reloading of C functions☆22Dec 27, 2016Updated 9 years ago
- Utility to auto-adjust the brightness of i3wm workspaces☆13Jan 1, 2023Updated 3 years ago
- A minimalist, multithreaded X window manager with a plugin architecture (WIP)☆11Sep 24, 2017Updated 8 years ago
- x86 assembler in scheme☆29Apr 14, 2019Updated 7 years ago
- ☆10Dec 16, 2020Updated 5 years ago
- an opinionated kanban board written in bash☆13Jun 29, 2020Updated 6 years ago
- Minimal Perfect Hash-Table CL Implementation☆16Jan 31, 2018Updated 8 years ago
- A clean implementation of Forth on 32-bit linux-x86☆14Jul 21, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A programming argot☆57Apr 2, 2026Updated 3 months ago
- Monochrome picture format☆18May 3, 2020Updated 6 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Beating the CAP theorem with the epidemic register☆17Jul 15, 2020Updated 5 years ago
- A HTML page that prints its source code in its favicon☆16Apr 12, 2018Updated 8 years ago
- A Flask web app for running collaborative playlist parties☆33Jun 3, 2026Updated last month
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆40Feb 13, 2020Updated 6 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆57Jul 24, 2016Updated 9 years ago
- [WIP] A wayland compositor configured with scheme☆14Aug 24, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Procedural macro span debugger/visualizer☆39Aug 28, 2020Updated 5 years ago
- Locate Args and Execute☆19Apr 26, 2025Updated last year
- A minimal window manager written in Nim☆20Sep 19, 2019Updated 6 years ago
- A Fantasy Computer that has Lisp as the system language☆42Jan 4, 2018Updated 8 years ago
- The terminus font but with ligatures☆36Sep 15, 2020Updated 5 years ago
- Untangle your unix pipeline one-liners☆22Nov 30, 2015Updated 10 years ago
- A git-compatible content tracker in Haskell.☆67Jan 10, 2020Updated 6 years ago