An implementation of Tarjan's Strongly Connected Components algorithm
☆14Aug 25, 2019Updated 6 years ago
Alternatives and similar repositories for hopscotch
Users that are interested in hopscotch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- unrolled skip list library for C☆22May 25, 2019Updated 6 years ago
- Propositional logic in terms of if-then-else☆15Jul 15, 2017Updated 8 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46May 17, 2017Updated 8 years ago
- libRunTimeStruct: Create C structs at runtime☆13Dec 8, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- KDB bindings for lua☆27Dec 3, 2019Updated 6 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Apr 1, 2016Updated 9 years ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆26Aug 20, 2024Updated last year
- Small example MirageOS unikernels.☆15Jun 14, 2019Updated 6 years ago
- microkanren in sml☆27Feb 26, 2015Updated 11 years ago
- epsilon is a scanner generator☆29Jun 12, 2022Updated 3 years ago
- ☆12May 31, 2018Updated 7 years ago
- Emacs major mode for Alloy☆13Jul 14, 2018Updated 7 years ago
- JQL - JSON Query Language. An API and toolset for managing unruly JSON!☆21Apr 17, 2015Updated 10 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A simple, unoptimized, purely functional Datalog implementation.☆12Aug 13, 2025Updated 7 months ago
- A DFA based UTF-8 decoder☆15Jan 1, 2014Updated 12 years ago
- a language workbench for parsing and transforming curly-brace languages☆43Jun 24, 2016Updated 9 years ago
- Test GD32VF103 microcontroller using hal crate https://github.com/luojia65/gd32vf103-hal☆13Sep 18, 2019Updated 6 years ago
- Exactly what it says on the tin.☆20Oct 10, 2017Updated 8 years ago
- ☆25Mar 20, 2021Updated 5 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 years ago
- language verification, construction, and analysis☆20Apr 2, 2022Updated 3 years ago
- locally save and checksum/review before curl | bash-ing installers☆37Mar 27, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Python binding to the heatshrink library☆18Dec 6, 2022Updated 3 years ago
- A formatter for the "xml2rfc" vocabulary, implemented in XSLT.☆13Oct 8, 2025Updated 5 months ago
- ☆47Oct 1, 2017Updated 8 years ago
- Cryptographic Library for Anonymous Reputation and Credentials☆12Dec 5, 2021Updated 4 years ago
- Accelerating the regular expression matching on FPGA for applications in Networking and Bioinformatics.☆13Nov 24, 2017Updated 8 years ago
- java heatshrink☆11Oct 19, 2022Updated 3 years ago
- Reference materials to my Zero to Capacity Planning talk☆15Dec 13, 2016Updated 9 years ago
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 5 years ago
- B+-tree implementation in Haskell☆28May 12, 2019Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18May 5, 2025Updated 10 months ago
- A Pure BusyBox APK mirror selector for Alpine Linux☆10Oct 6, 2022Updated 3 years ago
- A common set of helpers used across VTIL toolchain. Moved into -->☆21May 2, 2020Updated 5 years ago
- An asyncio-based python client for http://pushbullet.com☆11Feb 18, 2021Updated 5 years ago
- SHiFT: Semi-hosted Fuzz Testing for Embedded Applications☆18Dec 10, 2024Updated last year
- A small little tool for dumping a floating-point number in its native format☆56Jul 8, 2015Updated 10 years ago
- 👨🎨 A stylesheet base coat for most html and forms☆20Feb 26, 2026Updated last month