A library for tracking program state
☆15Jun 18, 2016Updated 10 years ago
Alternatives and similar repositories for glassbox
Users that are interested in glassbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- A plugin to send commands to a running rebar3 shell☆10Apr 4, 2016Updated 10 years ago
- Consistent hashing ring for Distributed Hash Tables (DHT)☆17Jan 27, 2017Updated 9 years ago
- IMAP => Apache CouchDB (and Cloudant) archiver/importer/thing☆17Nov 23, 2016Updated 9 years ago
- Common weakness enumeration library for Python☆16Mar 17, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Generate a prerequisite-tracking static website. Similar to metacademy.☆10Feb 2, 2023Updated 3 years ago
- Library containing safer alternatives/wrappers for insecure C APIs.☆24Apr 28, 2026Updated 2 months ago
- Apache CouchDB Continuous Integration (CI) support repository☆12Jun 26, 2026Updated last week
- TV show scraper/renamer thingy☆12May 10, 2013Updated 13 years ago
- What if we put HTMX into the Django Admin?☆20Oct 18, 2023Updated 2 years ago
- A direct-to-syslog logger over udp for Erlang☆11Sep 1, 2020Updated 5 years ago
- Python3 Asyncio Utils☆33Feb 25, 2021Updated 5 years ago
- Splat Graphics Library☆19Aug 30, 2017Updated 8 years ago
- Pretty print proplists in erl shell☆15Feb 21, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- aiohttp jsonrpc service☆15Feb 11, 2026Updated 4 months ago
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 5 years ago
- Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…☆20Aug 25, 2022Updated 3 years ago
- Traversable Python Dictionaries☆59Dec 26, 2022Updated 3 years ago
- A twisted version of J written in F#☆10Sep 28, 2017Updated 8 years ago
- Formal semantics in Agda.☆17Jul 2, 2015Updated 11 years ago
- Slack client for Emacs☆12Feb 9, 2016Updated 10 years ago
- Colored output for io and io_lib☆20Dec 22, 2021Updated 4 years ago
- Package Python software as an RPM including all dependencies (even the interpreter).☆11Jan 14, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Virtual Machine profiler (so far restricted to pypy and cpython)☆11Dec 14, 2014Updated 11 years ago
- GNU APL port to Android☆16Oct 22, 2014Updated 11 years ago
- Python module to parse human-style date ranges (eg. 15th-19th March 2011) to datetimes☆36Jan 29, 2024Updated 2 years ago
- Mirror of Apache CouchDB Setup☆11Nov 20, 2018Updated 7 years ago
- Persistence API for attr-based Python classes☆17Mar 12, 2019Updated 7 years ago
- Ocaml cross-compiler for Android☆45Oct 10, 2014Updated 11 years ago
- Infuse some sanity into FDA's FAERS data set.☆10Oct 20, 2020Updated 5 years ago
- Requirement traceability tool for OCaml☆13Jun 21, 2015Updated 11 years ago
- C automata library to build, determinize, minimize, translate regexp etc☆11Mar 26, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Auction Theory Toolbox – Computer Verified Auctions☆15Jul 12, 2016Updated 9 years ago
- lalily is a framework and a collection of utilities, to extend lilypond. To use it, the "master" lalily.ly has to be included.☆18Feb 27, 2026Updated 4 months ago
- Lexicode: A Programmer's Thesaurus☆14Jun 25, 2024Updated 2 years ago
- Lua API for CouchDB☆22Feb 27, 2021Updated 5 years ago
- WIP☆11Feb 17, 2017Updated 9 years ago
- ☆30Jan 26, 2022Updated 4 years ago
- PyData NYC 2015 tutorial examples☆12Feb 15, 2016Updated 10 years ago