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:
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- ☆11Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- ☆16Updated 7 years ago
- A language for pipe-based programming☆53Updated 2 years ago
- a self-hosting lambda calculus compiler☆37Updated 7 months ago
- ☆35Updated 6 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 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
- cargo +nightly build☆34Updated 6 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- Haskell binding for PADS☆20Updated 6 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last month
- Datalog + Egg = Good☆66Updated 2 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 10 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- An implementation of interaction nets as a forth-like language.☆36Updated last week
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆39Updated 8 years ago
- The Kollos project [ARCHIVED]☆30Updated 3 years ago
- Clafer is a lightweight modeling language☆47Updated 9 months ago
- ☆23Updated 13 years ago