GamesCrafters / GamesmanClassic
The classic C solver and tcl/tk frontend.
☆25Updated this week
Related projects ⓘ
Alternatives and complementary repositories for GamesmanClassic
- A computer algebra system for research in combinatorial game theory☆33Updated 10 months ago
- An experimental non-deterministic concatenative golfing language☆21Updated last month
- Turing machine simulator in HTML/Javascript☆83Updated 9 months ago
- A Chess Engine in PostScript☆49Updated 7 months ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆16Updated 7 months ago
- Problem rendering engine for WeBWorK☆46Updated last week
- Catalog Of Math Problems Formalized In Lean☆113Updated this week
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆64Updated this week
- Server to host lean games.☆196Updated 2 weeks ago
- Frontend of https://bbchallenge.org☆11Updated 2 weeks ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆13Updated 7 months ago
- metamath proof enumerators and other things☆87Updated 3 months ago
- ☆13Updated last year
- Tableau for basic modal logic in Lean 3☆13Updated last year
- A strongly-typed programming language by the N building with a general-purpose use☆27Updated 2 months ago
- Japt 1.4.5, the other JavaScript golfing language☆75Updated 3 years ago
- Open Source HTML5 Game Engine based on PuzzleScript☆20Updated last year
- The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.☆31Updated 2 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆170Updated this week
- A 2d "programming language" based around triangles☆10Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- Learn Lean and topology☆20Updated last year
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- A template project to both illustrate and serve as an example for plugin creations on top of the manim.☆17Updated 3 years ago
- Miscellaneous esoteric programming languages.☆37Updated 8 months ago
- Here we give programs that check if Turing machines halt or not.☆10Updated this week
- A program for drawing knots and links, with support for importing images☆26Updated 10 months ago
- Brainfuck editor, interpreter, and debugger. Runs your bf code while displaying information about the program, like memory and active com…☆14Updated 2 years ago
- A brainfuck (http://en.wikipedia.org/wiki/Brainfuck) self-interpreter. That is - a brainfuck interpreter, in brainfuck.☆15Updated 11 years ago