jessica-taylor / hashlattice
A distributed network based on hash codes and lattices.
☆14Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for hashlattice
- Some CSS experiments for arXiv HTML documents converted via latexml☆16Updated last month
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆60Updated 11 months ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆24Updated 6 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- 🦠 DeepDecipher: An open source API to MLP neurons☆9Updated 6 months ago
- Cellular automata search program☆26Updated 2 years ago
- SymPy Documentation repository☆34Updated this week
- Simulation of life like characters and several learning algorithms to test the ability of each algorithm to enable the characters reachin…☆17Updated 2 years ago
- Boid flocking model in OpenGL☆11Updated 7 years ago
- MathWebSearch Implementation☆47Updated last year
- Tools for managing the TeX sources of the Stacks project☆15Updated 5 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆19Updated 3 years ago
- Riemann Hypothesis book☆74Updated 6 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆17Updated 6 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 5 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆26Updated 10 months ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- A list of SaaS, PaaS and IaaS offerings that have free tiers for devops and infradev☆9Updated 9 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- See https://github.com/sagemathinc/smc instead!☆22Updated 5 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆31Updated 6 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- Tim Button's open textbook on set theory☆30Updated last year
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆10Updated 5 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- Dyna built on R-exprs (First Prototype)☆12Updated 2 years ago
- Tuffy, a Markov Logic Network solver☆24Updated 10 years ago