silentbicycle / hopscotchLinks
An implementation of Tarjan's Strongly Connected Components algorithm
☆13Updated 6 years ago
Alternatives and similar repositories for hopscotch
Users that are interested in hopscotch are comparing it to the libraries listed below
Sorting:
- ☆11Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 9 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Brainfuck with Actors☆36Updated 7 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Clafer is a lightweight modeling language☆47Updated 11 months ago
- A command-line parser for Standard ML☆21Updated last month
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- A language for pipe-based programming☆53Updated 3 years ago
- ☆35Updated 6 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- ☆23Updated 13 years ago
- Command line editor, C api, readline replacement☆28Updated last year
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- Relational Algebra at your fingertips☆62Updated 11 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆39Updated 8 years ago
- ☆16Updated 7 years ago
- a self-hosting lambda calculus compiler☆37Updated 9 months ago
- Buildsome: The awesome build system☆54Updated 3 years ago
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆47Updated last year
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- The Kollos project [ARCHIVED]☆30Updated 3 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- Abstract binding tree code generator☆37Updated 9 years ago