archywillhe / 0a.io-v0
<Built with Haskell on Hakyll> <boilerplate at: archywillhe/0a.io-hakyll-boilerplate>
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for 0a.io-v0
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 2 months ago
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- A system for computational category theory and applications☆35Updated 8 years ago
- functional neural networks in ocaml☆88Updated 4 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 3 years ago
- two strange things to do with neural nets☆16Updated 5 years ago
- Textbook on metalogic based on the Open Logic Project☆36Updated 10 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- The Math of Card Shufflig☆38Updated 2 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- An encyclopedia of proofs☆57Updated this week
- Audible NP-Complete Problem☆22Updated 5 years ago
- Exploration and charting of world income distribution☆12Updated 5 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- A general purpose relational language☆20Updated 4 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated last year
- Intuitionistic Programming Language☆11Updated 10 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- A toy Wolfram language interpreter.☆34Updated 2 weeks ago
- DeepAlgebra☆25Updated 7 years ago
- ☆42Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- Get a Brain☆23Updated 4 years ago
- Applied Discrete Structures using PreTeXt☆41Updated last week
- Python term rewriting☆27Updated 11 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 6 months ago