gerard / mortal-coil
Solves the mortal coil game (check http://hacker.org/coil/)
☆7Updated 17 years ago
Alternatives and similar repositories for mortal-coil
Users that are interested in mortal-coil are comparing it to the libraries listed below
Sorting:
- A Windows program to search for cellular automata patterns☆15Updated 12 years ago
- Testing tool for TopCoder marathon matches.☆15Updated 9 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated this week
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆32Updated 6 years ago
- Cellular automata search program☆26Updated 2 years ago
- a language where the programs are works of modern art (updated for OSX)☆32Updated 3 years ago
- Playing and editing puzzles by Javascript (fork of sabo2/pzprjs)☆66Updated last week
- JavaScript applets with interactive Rubik's Cube-like puzzles.☆16Updated 4 months ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- A chess and chess variants playing program.☆44Updated 13 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- Java implementations of sequences in the OEIS☆61Updated this week
- A place to draft the answers for the tetris PPCG challenge☆31Updated 7 years ago
- deep learning for math☆29Updated 6 years ago
- Repository for the QED interactive text and possible extensions☆99Updated 3 months ago
- A Cellular Automaton Simulator written in Kotlin / Java☆9Updated 8 months ago
- A database app for ring theory☆22Updated last week
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Companion software for Rubik's Cube like puzzles.☆16Updated 4 months ago
- An esoteric programming language based on Rubik's Cubes☆28Updated 7 years ago
- Convert youtube playlist into audio podcast feeds☆9Updated 5 months ago
- Exact 64-bit convolution algorithm☆15Updated 8 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆20Updated 3 weeks ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆16Updated 3 years ago
- a Python library for combinatorial exploration☆12Updated last month
- @mathslogicbot☆20Updated 2 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago