A cellular automaton for studying self-modifying agents which are embedded in their environment
☆130Jun 16, 2014Updated 12 years ago
Alternatives and similar repositories for Botworld
Users that are interested in Botworld are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Explicit Sharing of Monadic Effects☆13Jun 30, 2011Updated 15 years ago
- lo cnino je banli gimste☆13Nov 22, 2015Updated 10 years ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Dec 13, 2022Updated 3 years ago
- Webmachine inspired toolkit for building http applications and services.☆11Apr 26, 2013Updated 13 years ago
- A clone of Chips Challenge in Haskell☆145Nov 11, 2014Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- crdts on ipfs☆11Dec 2, 2015Updated 10 years ago
- The web game about being a plant.☆15Jan 4, 2023Updated 3 years ago
- A generative model of compositionality in symmetric monoidal (Kleisli) categories☆12Oct 4, 2023Updated 3 years ago
- My haskell-mode configuration for Emacs☆19Aug 7, 2022Updated 4 years ago
- Closure Compiler for the Go programming language.☆11May 30, 2014Updated 12 years ago
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 6 years ago
- Rephink: A real-time stack based on Phoenix Framework, RethinkDB, Elm, Webpack☆17Jul 18, 2017Updated 9 years ago
- i bet you there is a typesystem behind music☆32Oct 24, 2018Updated 8 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Iterated prisoner's dilemma tournament with bots that can perfectly simulate each other.☆72Sep 24, 2014Updated 12 years ago
- My Agda/Mikan stuff☆13Oct 23, 2026Updated 2 weeks ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Aug 28, 2022Updated 4 years ago
- Ruby client for Arista eAPI☆16Jul 13, 2021Updated 5 years ago
- Machine learning for humans☆57Jan 8, 2014Updated 12 years ago
- Formalization of 2LTT in Agda☆10Oct 11, 2026Updated 3 weeks ago
- Mock file and directories in Node.js☆121Nov 24, 2015Updated 10 years ago
- TheBigDB Javascript bindings.☆21Jan 3, 2014Updated 12 years ago
- Test-driven system administration with a little extra logic.☆388Sep 22, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- SundayData is a fast, intelligent and light way of storing data in you browser and using the power of CouchDB.☆19Apr 30, 2014Updated 12 years ago
- Paradigms of AI Programming Source Code☆11Jan 2, 2013Updated 13 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 7 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago
- Javascript quantum information simulator☆62Sep 12, 2020Updated 6 years ago
- Defines a Python client API to allow OpenCog experiments to be written as short Python scripts.☆20Jan 6, 2015Updated 11 years ago
- Camouflage git config, commit, and push☆11Jan 16, 2014Updated 12 years ago
- RudyMQ - A rudimentary Message Queue☆21Jan 10, 2015Updated 11 years ago
- ☆21Dec 8, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 7 years ago
- Concatenative relational interpreter in miniKanren☆22May 11, 2015Updated 11 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Oct 11, 2018Updated 8 years ago
- Open Domain Question Answering☆15Mar 7, 2014Updated 12 years ago
- Akiva is a simple natural-language-processing, question-answering, artificial intelligence.☆346Jan 22, 2014Updated 12 years ago
- A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.☆31Jul 30, 2019Updated 7 years ago
- ☆13Oct 9, 2025Updated last year