machine-intelligence / Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
☆129Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for Botworld
- DeepAlgebra☆25Updated 7 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- Get a Brain☆24Updated 4 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- A Haskell DSEL for experimental game theory.☆36Updated 2 years ago
- ☆44Updated last year
- ☆35Updated 9 years ago
- Theorem proving in Lean☆48Updated last month
- Haskell bindings for PicoSAT solver☆16Updated 4 years ago
- Thoughts and stuff☆67Updated 4 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Share your research online by compiling it to JavaScript!☆23Updated 9 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- ☆23Updated 2 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 2 years ago
- Exercism exercises in Coq.☆18Updated 2 weeks ago
- i bet you there is a typesystem behind music☆30Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- A formalization of M-types in Agda☆32Updated 4 years ago
- A Church to Javascript compiler (DEPRECATED)☆140Updated 6 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 7 years ago
- A Monad for simulating quantum processes.☆22Updated 10 years ago