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 barebones bootable platform to run the frotz z-code interpreter inside a VM☆18Oct 17, 2016Updated 9 years ago
- A Lua/Python Bytecode Disassembler written in C, without external dependencies☆13Mar 28, 2017Updated 8 years ago
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 8 months ago
- A schemy Lisp backed by Haskell☆60Nov 8, 2018Updated 7 years ago
- My personal blog☆16Mar 18, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A node-based visual programming language editor in React☆12Sep 17, 2017Updated 8 years ago
- a modern terminal client☆37Jul 19, 2017Updated 8 years ago
- Just another IRC bot.☆14Mar 16, 2026Updated last week
- currently vaporware☆12Aug 25, 2020Updated 5 years ago
- ☆40Nov 11, 2025Updated 4 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
- xiate is a terminal emulator☆14Nov 14, 2024Updated last year
- Documents for my time at the Recurse Center☆28Apr 3, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- (deprecated) Radio4000 (v1); public media library system, calm, non-intrusive☆45Apr 27, 2024Updated last year
- A library for hot reloading of C functions☆22Dec 27, 2016Updated 9 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Dec 16, 2021Updated 4 years ago
- A Lisp-like language that compiles to DCPU-16 assembly code☆76Oct 16, 2013Updated 12 years ago
- Utility to auto-adjust the brightness of i3wm workspaces☆13Jan 1, 2023Updated 3 years ago
- x86 assembler in scheme☆29Apr 14, 2019Updated 6 years ago
- pb; a command line pastebin service helper (9 supported services)☆28Jul 8, 2024Updated last year
- ☆10Dec 16, 2020Updated 5 years ago
- an opinionated kanban board written in bash☆13Jun 29, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- Monochrome picture format☆18May 3, 2020Updated 5 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 7 years ago
- Secrets of the Z-Dimension Revealed!☆10Mar 6, 2017Updated 9 years ago
- ☆20Mar 14, 2021Updated 5 years ago
- 100% XXTEA authenticated, chunked file encryption☆18Feb 14, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Feb 13, 2020Updated 6 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆58Jul 24, 2016Updated 9 years ago
- [WIP] A wayland compositor configured with scheme☆14Aug 24, 2022Updated 3 years ago
- Procedural macro span debugger/visualizer☆40Aug 28, 2020Updated 5 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Apr 12, 2012Updated 13 years ago
- 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