akkartik / am-utexasView external linksLinks
Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
☆58Dec 17, 2008Updated 17 years ago
Alternatives and similar repositories for am-utexas
Users that are interested in am-utexas are comparing it to the libraries listed below
Sorting:
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Doug Lenat's EURISKO from SAIL archives circa 1981☆69Jul 6, 2024Updated last year
- Hierarchical Temporal Sparse Learner☆13Nov 3, 2015Updated 10 years ago
- Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the origi…☆13Sep 2, 2024Updated last year
- Explainable machine learning☆17Mar 17, 2019Updated 6 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆15Oct 27, 2023Updated 2 years ago
- The AGI Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about artificial general intelligence over t…☆14Nov 28, 2019Updated 6 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 7 years ago
- Sigma Knowledge Engineering Environment☆118Updated this week
- An idiomatic kotlin dataframe toolkit for data engineering tasks of any size dataset☆10Jul 16, 2025Updated 7 months ago
- Original Joy☆10Dec 17, 2024Updated last year
- Karras et al. (2022) diffusion models for PyTorch☆12Aug 23, 2022Updated 3 years ago
- Generate, compile and run .java source dynamically at runtime☆11Apr 23, 2019Updated 6 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 5 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- ☆12Jan 25, 2018Updated 8 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- Digital, never Compaq or HP, Alpha AXP Emulator☆50Sep 11, 2019Updated 6 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- ☆36Jan 2, 2024Updated 2 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 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
- An Agda formalisation of the theory of directed containers☆12Apr 25, 2025Updated 9 months ago
- ☆12Jul 8, 2019Updated 6 years ago
- C++ genetic algorithms scientific library☆15Aug 12, 2023Updated 2 years ago
- Purely Functional Data Structures☆13Dec 15, 2014Updated 11 years ago
- ☆19Feb 22, 2017Updated 8 years ago
- old-school Macintosh Emulator☆18Jul 3, 2018Updated 7 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- ☆17Jan 7, 2020Updated 6 years ago
- A reporting project on the performance of self-optimizing interpreters☆16Dec 5, 2015Updated 10 years ago
- Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977☆55Jan 3, 2024Updated 2 years ago
- Yet another PEG parser combinator library and DSL☆56Jul 14, 2023Updated 2 years ago
- DAYDREAMER goal-based agent☆78Jan 5, 2022Updated 4 years ago
- Genetic-programming framework for various genetic programming paradigms such as linear genetic programming, tree genetic programming, gen…☆10Jun 23, 2017Updated 8 years ago
- Convert Java bytecode to firm IR☆18Feb 20, 2017Updated 8 years ago
- Procgen2: A community maintained fork of procgen☆12Aug 25, 2022Updated 3 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago