the stanford graphbase, by donald knuth
☆18Nov 26, 2015Updated 10 years ago
Alternatives and similar repositories for sgb
Users that are interested in sgb are comparing it to the libraries listed below
Sorting:
- An open-source celebration of creative academics & academic creatives☆14Dec 9, 2017Updated 8 years ago
- cbraid/braiding are C++ libraries for computations on braid groups☆11Jul 19, 2024Updated last year
- Android app implementing Hexagonal Grid model with Circular views.☆10Mar 4, 2015Updated 11 years ago
- This is QNial - Array Language from Nial systems. It was published under Artistic License, but seems to have disappeared after website re…☆12May 25, 2016Updated 9 years ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- An Image Dictionary for Co-dfns☆15Jun 16, 2017Updated 8 years ago
- A binary-to-text encoder/decoder library for .NET and Fable. Provides base 16, base 32, base 46, base 64, and base 91 codecs. Supports cu…☆10Feb 3, 2023Updated 3 years ago
- Computing Hermite normal form and Smith normal form with transformation matrices☆21Jan 4, 2026Updated 2 months ago
- Emacs package to lookup and open items from a Zotero database☆25Jul 29, 2020Updated 5 years ago
- Extreme Learning Machine in J☆12May 16, 2019Updated 6 years ago
- A Lean 4 Jupyter kernel via repl☆35Nov 19, 2024Updated last year
- Ocaml code from Writing an Interpreter in Go☆11Aug 16, 2019Updated 6 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Jun 16, 2022Updated 3 years ago
- Red by Example - an accessible reference by example☆14Nov 29, 2022Updated 3 years ago
- Elixir functional programming foundation☆17Apr 2, 2020Updated 5 years ago
- Provide a reference implementation for the TTM programming language.☆10Oct 5, 2014Updated 11 years ago
- Example Laravel project where column-sortable is in use.☆11May 1, 2019Updated 6 years ago
- ☆17Jan 8, 2026Updated 2 months ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆37Dec 20, 2025Updated 2 months ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- A demo application to illustrate how Inertia.js works.☆15Jan 18, 2022Updated 4 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- An open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- Laravel 9 REST API using Sanctum☆12Feb 19, 2022Updated 4 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- ⚛ opinionated electron application template☆12Jun 20, 2024Updated last year
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆18Jul 3, 2022Updated 3 years ago
- Crit-bit tree☆26Nov 9, 2021Updated 4 years ago
- A revival of the TREE-META compiler-compiler.☆15Mar 10, 2026Updated last week
- Regionalized Value State Dependence Graph written in Rust☆11Nov 17, 2019Updated 6 years ago
- Support arranging Trello lists into horizontal swimlanes☆33Jul 1, 2020Updated 5 years ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆19Aug 5, 2025Updated 7 months ago
- J add-on for Apache Arrow, Parquet, CSV, & JSON☆11Aug 20, 2025Updated 6 months ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- Java implementation of Knuth's Dancing Links algorithm. With examples, including ultra-fast Sudoku solver.☆30May 27, 2024Updated last year
- IBM Quantum Experience Wrapper☆16Feb 23, 2024Updated 2 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Jul 11, 2015Updated 10 years ago
- frontend-war-vue☆12Mar 22, 2017Updated 8 years ago
- ☆13Sep 14, 2021Updated 4 years ago