A library for tracking program state
☆15Jun 18, 2016Updated 9 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:
- Sloth Test is a Python library that automatically creates unit tests based on previous real-life cases to prevent regression bugs.☆11Apr 6, 2019Updated 6 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- A plugin to send commands to a running rebar3 shell☆10Apr 4, 2016Updated 9 years ago
- Consistent hashing ring for Distributed Hash Tables (DHT)☆17Jan 27, 2017Updated 9 years ago
- My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …☆14Mar 17, 2026Updated last week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Library containing safer alternatives/wrappers for insecure C APIs.☆24Apr 2, 2025Updated 11 months ago
- multi-logic proof generator☆11Sep 18, 2023Updated 2 years ago
- Apache CouchDB Continuous Integration (CI) support repository☆12Mar 11, 2026Updated 2 weeks ago
- TV show scraper/renamer thingy☆12May 10, 2013Updated 12 years ago
- Generic admin UI for Pyramid projects☆21Aug 4, 2011Updated 14 years ago
- What if we put HTMX into the Django Admin?☆20Oct 18, 2023Updated 2 years ago
- Fast fractions reimplementation in Cython☆39Mar 9, 2026Updated 2 weeks 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
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Splat Graphics Library☆19Aug 30, 2017Updated 8 years ago
- Run your tty programs pseudo-headlessly under a process supervisor☆14Apr 29, 2018Updated 7 years ago
- Auction Theory Toolbox – Computer Verified Auctions☆14Jul 12, 2016Updated 9 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- aiohttp jsonrpc service☆15Feb 11, 2026Updated last month
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 years ago
- Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…☆19Aug 25, 2022Updated 3 years ago
- A twisted version of J written in F#☆10Sep 28, 2017Updated 8 years ago
- Interactive assembly mode for emacs☆14Oct 23, 2017Updated 8 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.
- GNU APL port to Android☆16Oct 22, 2014Updated 11 years ago
- Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.☆40Mar 2, 2024Updated 2 years ago
- Parallel Delta Debugging Framework☆55Nov 23, 2025Updated 4 months ago
- Mirror of Apache CouchDB Setup☆11Nov 20, 2018Updated 7 years ago
- The semantics of Python in K☆21Aug 20, 2013Updated 12 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 10 years ago
- OCI: framework for continuous integrations and benchmarks☆11Nov 30, 2017Updated 8 years ago
- Post Hacker News Stories & Comments to NNTP Server☆17Feb 26, 2015Updated 11 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.
- An interface for GHC type-checking plugins☆21Jan 14, 2026Updated 2 months ago
- TODO☆23Oct 10, 2015Updated 10 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 last month
- Lexicode: A Programmer's Thesaurus☆14Jun 25, 2024Updated last year
- Lua API for CouchDB☆22Feb 27, 2021Updated 5 years ago
- ☆30Jan 26, 2022Updated 4 years ago
- PyData NYC 2015 tutorial examples☆12Feb 15, 2016Updated 10 years ago