A cellular automaton for studying self-modifying agents which are embedded in their environment
☆131Jun 16, 2014Updated 11 years ago
Alternatives and similar repositories for Botworld
Users that are interested in Botworld are comparing it to the libraries listed below
Sorting:
- My Agda blog/lab/playground☆12Mar 8, 2026Updated 2 weeks ago
- ☆16Aug 2, 2023Updated 2 years ago
- ☆12Oct 9, 2025Updated 5 months ago
- Render Kroki diagrams from files or code blocks in mdbook☆15Feb 16, 2026Updated last month
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 7 months ago
- An agda2hs-compatible library for well-scoped syntax☆11Nov 6, 2025Updated 4 months ago
- postgres terminal ui - work in progress☆49Jun 3, 2014Updated 11 years ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- An Agda formalisation of the theory of directed containers☆12Apr 25, 2025Updated 10 months ago
- mirror of https://review.coreboot.org/libgfxinit.git☆26Dec 20, 2025Updated 3 months ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Chromaria is a software platform for artificial life experiments. http://eplex.cs.ucf.edu/chromaria/home.☆12Jun 7, 2021Updated 4 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Python interpreter written in pure Erlang.☆60Jan 10, 2013Updated 13 years ago
- Quantum Accelerated Genome Sequencing☆11Sep 7, 2021Updated 4 years ago
- ☆18Nov 6, 2025Updated 4 months ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 6 years ago
- Modal editing witch, VI interpreter☆11May 29, 2020Updated 5 years ago
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- This is a simple stack virtual machine to be a translation target for toy languages.☆12Sep 18, 2020Updated 5 years ago
- Delft Quantum & Classical simulator☆17Jun 17, 2022Updated 3 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated last year
- A list of works and resources about double category theory, with a particular focus on applications.☆31Oct 19, 2022Updated 3 years ago
- Repository for the Online Algorithmic Complexity Calculator☆14Apr 4, 2025Updated 11 months ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Rich Node.js REPL☆16Apr 15, 2025Updated 11 months ago
- ☆29Jul 21, 2023Updated 2 years ago
- pdf.js custom element for elm☆12May 11, 2022Updated 3 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 6 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- A Lean4 Formalization of Polynomial Functors☆28Dec 22, 2025Updated 3 months ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Aug 28, 2022Updated 3 years ago
- A framework for simulating quantum mechanical thought experiments in projectq☆18Jul 12, 2022Updated 3 years ago
- what I did on my holidays☆12Jul 9, 2018Updated 7 years ago
- Convert a mnemonic phrase to a private key☆12Dec 5, 2023Updated 2 years ago
- TypeScript library which lets you draw on HTML5 canvas in a declarative way.☆17Jul 27, 2024Updated last year
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Dec 29, 2023Updated 2 years ago