rchurchley / erdos-bacon-sabbath
An open-source celebration of creative academics & academic creatives
☆12Updated 7 years ago
Alternatives and similar repositories for erdos-bacon-sabbath:
Users that are interested in erdos-bacon-sabbath are comparing it to the libraries listed below
- A semantic Extension of TeX/LaTeX☆51Updated this week
- DeepAlgebra☆25Updated 7 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- Software for better online synchronous meetings and classes☆14Updated 4 years ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated last year
- Metamath verifier in Python☆37Updated 10 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- A comprehensive graph of mathematical domains and topics☆20Updated 3 years ago
- Generating books from GANs trained on bitmaps of whole words☆21Updated 5 years ago
- Haskell bindings to SymEngine☆25Updated last year
- chrome extension for making custom string replacement rules, a la cloud-to-butt with regex☆8Updated 8 years ago
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 years ago
- Sending the lambda calculus into deep space☆139Updated 2 years ago
- Compiler for MFM programming language☆21Updated 3 months ago
- ⌨️🌼 Syntax highlighting for Pollen (a Racket language)☆17Updated 5 years ago
- Self-contained, one-step literate markdown.☆23Updated last year
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- tool for creating and sharing annotations, using github for storage and social network☆88Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- things that don't deserve their own repo☆64Updated 3 weeks ago
- 📘🌼 A bunch of Pollen recipes☆30Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated last year
- ever wanted to change water into wine? better: now you can change prose into poetry☆15Updated 9 years ago
- ☆10Updated 6 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated last year
- IMO Grand Challenge for Artificial Intelligence☆44Updated 3 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆50Updated 3 years ago
- ☆22Updated 2 years ago
- My GitHub blog☆14Updated 3 years ago