enkiv2 / mycroftView external linksLinks
A prolog-like language with compound truth value logic
☆70Apr 5, 2018Updated 7 years ago
Alternatives and similar repositories for mycroft
Users that are interested in mycroft are comparing it to the libraries listed below
Sorting:
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- (PROTOTYPE) A proof-of-concept C++ FFI for LuaJIT☆31Feb 28, 2015Updated 10 years ago
- Lua port of of microKanren, a minimal logic programming engine.☆34Jan 21, 2014Updated 12 years ago
- Tools for reading OpenStreetMap (OSM) data and gradually turning it into routable networks.☆13Jul 2, 2015Updated 10 years ago
- libRunTimeStruct: Create C structs at runtime☆13Dec 8, 2015Updated 10 years ago
- ☆22Oct 4, 2016Updated 9 years ago
- A continuation of JVML which JITs Java bytecode to Lua bytecode rather than interpreting.☆29Sep 19, 2015Updated 10 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Lua Toolbox website (deprecated)☆22Dec 22, 2016Updated 9 years ago
- State-of-The-Art Unsupervised Part-Of-Speech Type-Level Tagger in 300 Lines of Clojure☆40Sep 15, 2010Updated 15 years ago
- A tiny thin client for multiplayer games☆19Feb 6, 2014Updated 12 years ago
- Karras et al. (2022) diffusion models for PyTorch☆12Aug 23, 2022Updated 3 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆19Aug 19, 2025Updated 5 months ago
- Generate, compile and run .java source dynamically at runtime☆11Apr 23, 2019Updated 6 years ago
- The tiniest standalone script to make a window on MacOS☆12Jan 21, 2023Updated 3 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- ☆24Feb 1, 2012Updated 14 years ago
- Load a Wavefront Object file into Lua☆12Jan 25, 2019Updated 7 years ago
- ☆17Jan 7, 2020Updated 6 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Jan 29, 2016Updated 10 years ago
- Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)☆13Apr 16, 2020Updated 5 years ago
- DAYDREAMER goal-based agent☆78Jan 5, 2022Updated 4 years ago
- Hierarchical Temporal Sparse Learner☆13Nov 3, 2015Updated 10 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Apr 2, 2020Updated 5 years ago
- The DSL FSM☆12Dec 3, 2013Updated 12 years ago
- Procgen2: A community maintained fork of procgen☆12Aug 25, 2022Updated 3 years ago
- SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)☆12Feb 11, 2021Updated 5 years ago
- Space war simulation game engine in real and vast scale☆14Nov 30, 2021Updated 4 years ago
- A programming language for young children☆319Jun 23, 2014Updated 11 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆29Aug 21, 2017Updated 8 years ago
- LuaJIT Data Structures - hold cdata in Arrays, Vectors, and HashMaps☆117Jan 31, 2020Updated 6 years ago
- Java implementation of the Simple Genetic Algorithm, the Univariate Marginal Distribution Algorithm, the Extended Compact Genetic Algorit…☆12Jul 14, 2015Updated 10 years ago
- p4 language running on Snabb Switch (work-in-progress)☆12Feb 27, 2016Updated 9 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆16Jan 31, 2021Updated 5 years ago
- Swift implementation of Pei Wang's Non-Axiomatic Logic☆13Jul 1, 2025Updated 7 months ago
- This is port of convnetjs. Deep Learning in Javascript. Train Convolutional Neural Networks.☆14Feb 26, 2021Updated 4 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 6 years ago
- "An AGI architecture in vector space" Paper to be submitted to AGI-16☆14Nov 16, 2024Updated last year
- The asm.js benchmark☆48Mar 30, 2018Updated 7 years ago