☆30Aug 2, 2016Updated 9 years ago
Alternatives and similar repositories for old-blog
Users that are interested in old-blog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- write a little simply typed functional language to practice Rust☆15Jul 22, 2023Updated 2 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- collection of modules to build distributed and reliable concurrent systems in Python.☆207Sep 14, 2013Updated 12 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year
- Serialization component for the Asphalt framework☆11Apr 27, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A few classes which compile faster than the classes that they replace☆12Apr 5, 2014Updated 12 years ago
- A MiniKanren in Python☆37Jul 15, 2016Updated 9 years ago
- LuaJIT General Purpose Routines☆15Feb 11, 2021Updated 5 years ago
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 9 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 12 years ago
- LZB: LZ77 data compression and other utilities in pure Bash language☆15Oct 20, 2019Updated 6 years ago
- Sorted sets implementation in pure python☆10Dec 4, 2015Updated 10 years ago
- Secrets is a system for safely storing and sharing passwords amongst a team☆12Jul 29, 2018Updated 7 years ago
- Osh (Object SHell) is a command-line and API toolkit combining cluster access, database access, and data slicing and dicing. Sort of like…☆57Feb 26, 2020Updated 6 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.
- python client library☆10Feb 15, 2017Updated 9 years ago
- Ranked Programming Extension for Racket☆55Jul 10, 2020Updated 5 years ago
- TinyTimber is a C implementation of the concurrent reactive objects of Timber. For more information about the full Timber language, see:☆15Mar 6, 2012Updated 14 years ago
- xLSTMAD - Powerful xLSTM based Method for Anomaly Detection☆17Apr 27, 2026Updated last week
- Arena allocator for Python objects.☆14Apr 25, 2020Updated 6 years ago
- ☆19May 30, 2025Updated 11 months ago
- ☆11Feb 23, 2017Updated 9 years ago
- ☆12Jun 17, 2025Updated 10 months ago
- Lua bindings for Google Performance Tools CPU Profiler☆16Nov 8, 2021Updated 4 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.
- ☆14Jun 28, 2023Updated 2 years ago
- Python "metamodules"☆14Aug 28, 2017Updated 8 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆25Jul 30, 2011Updated 14 years ago
- GrSL - the GSL-based random Sampling Library☆13Nov 2, 2011Updated 14 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- Ragel for Windows☆13Jun 6, 2015Updated 10 years ago
- Heap Implementation for Python☆10Nov 4, 2016Updated 9 years ago
- A compressed bitset with supporting data structures and algorithms☆19Sep 13, 2013Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- flypy - A runtime compiler for Python☆39Mar 18, 2014Updated 12 years ago
- Simple spill-to-disk dictionary☆19May 24, 2016Updated 9 years ago
- q to Excel integration☆18Apr 16, 2018Updated 8 years ago
- Compile time fixed point scalars and n-dimensional arrays for C++17.☆12Feb 18, 2018Updated 8 years ago
- Centralized test reporting and monitoring service☆16Dec 27, 2022Updated 3 years ago
- C++11 library for fast fuzzy searching☆15Jun 9, 2015Updated 10 years ago
- A network discrete event simulator for peer-to-peer network modeling.☆13Sep 1, 2019Updated 6 years ago