The combinatorial Hydra game
☆16May 4, 2016Updated 9 years ago
Alternatives and similar repositories for hydra
Users that are interested in hydra are comparing it to the libraries listed below
Sorting:
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago
- Relative Monad Library for Agda☆24May 29, 2019Updated 6 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- Real number computation software☆129Aug 16, 2022Updated 3 years ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 months ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Feb 28, 2026Updated last week
- Interactive demo of the Boyer-Moore string search algorithm☆12Jun 6, 2020Updated 5 years ago
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ⚛ opinionated electron application template☆12Jun 20, 2024Updated last year
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- An advanced, ultra-lightweight firewall orchestrator for Linux. SysWarden integrates Data-Shield IPv4 blocklists, Geo-Blocking, Spamhaus …☆57Updated this week
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- Yet another parser for the ABC Notation☆11Dec 8, 2025Updated 3 months ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 3 years ago
- Compute pop-up menus from text and overlay properties☆11Jul 28, 2015Updated 10 years ago
- Консольный вариант игрушки Сокобан с встроенным решателем уровней☆12Sep 11, 2020Updated 5 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆14Jan 15, 2024Updated 2 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- NIF is a text based data format designed for compiler frontend/backend communication or communication between different programming langu…☆12Jan 23, 2026Updated last month
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- UCI chess engine derived from a didactic program by Jürgen Schlottke☆12Apr 12, 2025Updated 10 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- finite-state toolkit☆12May 5, 2017Updated 8 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- Docker: Alpine Linux and Wekan <=> MongoDB☆10Mar 27, 2025Updated 11 months ago
- Invent new EAs and GA or show your students how they work.☆12Jan 29, 2026Updated last month
- ☆10Feb 3, 2025Updated last year
- ☆16Jun 9, 2024Updated last year
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago