superpermutators / superperm
☆127Updated last year
Alternatives and similar repositories for superperm:
Users that are interested in superperm are comparing it to the libraries listed below
- metamath proof enumerators and other things☆93Updated 8 months ago
- Java implementations of sequences in the OEIS☆61Updated this week
- A terse declarative logic programming language☆117Updated 4 years ago
- Fungrim: the Mathematical Functions Grimoire☆121Updated 3 years ago
- A golfing language inspired by everybody's favorite text editor, vim.☆79Updated 5 years ago
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆198Updated 8 years ago
- ☆342Updated 6 years ago
- Lua program using Algorithm X to solve the problem of packing polycubic pieces into boxes. Includes bit matrix module. MIT license.☆18Updated 13 years ago
- source code for math gifs posted to twitter☆128Updated 4 years ago
- A repository for the Quest For Tetris☆182Updated 3 years ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆313Updated last year
- Metamath source file for logic and set theory☆275Updated this week
- Exponent pair database☆42Updated this week
- L-Functions and Modular Forms Database☆262Updated last week
- A regex-based programming language.☆232Updated last year
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- A formal proof of the independence of the continuum hypothesis☆122Updated 7 months ago
- some maths papers in English☆18Updated last month
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆83Updated 4 years ago
- ☆162Updated 5 years ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆74Updated 6 months ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 3 years ago
- ☆190Updated 2 weeks ago
- A code-golf language written in Mathematica☆20Updated 4 years ago
- Functional golfing language inspired by Haskell.☆77Updated 3 years ago
- A programming language based on MATLAB and suitable for code golfing☆115Updated last year
- Lean Library currently studying for a degree at Imperial College☆225Updated last month