Solutions to AIMA (Artificial Intelligence: A Modern Approach)
☆164Dec 26, 2014Updated 11 years ago
Alternatives and similar repositories for aima
Users that are interested in aima are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Intro to Artificial Intelligence (Don't steal my code bro!)☆50Apr 18, 2012Updated 14 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- quickly diff kedro history☆11Jul 14, 2025Updated last year
- An optimizer for the SICP scheme → register machine compiler.☆13Jul 14, 2020Updated 6 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tapestry CSRF Protection☆11Sep 23, 2025Updated 10 months ago
- Java implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"☆1,616Jun 10, 2026Updated 2 months ago
- A self-hosting Scheme to JavaScript compiler☆34Jan 1, 2010Updated 16 years ago
- General matrix multiplication for ndarrays☆18Jan 7, 2016Updated 10 years ago
- Software for the communication and onboard computer (COBC) of SpaceTeamSat1 (STS1)☆15Updated this week
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Guile numerical arrays and tensor extension☆59Oct 22, 2025Updated 9 months ago
- A DSL for generating GR(1) problems☆12Jul 27, 2021Updated 5 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A collection of Kawa Scheme demos (including OpenGLES) for Android.☆14May 12, 2015Updated 11 years ago
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- 🎩 Create a magic getter/setter object for a given WebGLProgram's uniforms.☆18Jun 17, 2018Updated 8 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- An opinionated starter for Clojurescript applications☆15Mar 24, 2017Updated 9 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Apr 29, 2024Updated 2 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Release of algorithms of TMC (10.1109/TMC.2020.2994529) and ICDSC (10.1109/ICDCS.2019.00209)☆14Sep 2, 2020Updated 5 years ago
- Multi-Critic Policy Gradient Optimization for Quadcopter Coordination☆14Aug 10, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Cytoscape.js extension for the hierarchical clustering algorithm☆10Jul 26, 2017Updated 9 years ago
- Final project for Artificial Intelligence(DATA130008.01)@ Fudan University☆12Jun 28, 2017Updated 9 years ago
- Library to create charts in the style of my movie charts☆21Jun 18, 2015Updated 11 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 9 years ago
- Run Docker apps on a BOINC project (like Cosmology@Home, etc...)☆12Jan 18, 2019Updated 7 years ago
- A glsl to asm.js compiler☆18Jun 26, 2016Updated 10 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Nov 30, 2018Updated 7 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- H.E.A.T. - Hiccup Enlive Adapter & Transforms☆17Jun 9, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Core implementation of gl-shader without parser dependencies☆22Apr 24, 2016Updated 10 years ago
- ☆13Feb 9, 2022Updated 4 years ago
- A curated list of digitization fails with a focus on eGovernment in German language.☆12Feb 28, 2025Updated last year
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 11 years ago
- Invoke Python libraries from Guile☆13Sep 5, 2016Updated 9 years ago
- PIRA - Automatic Instrumentation Refinement☆17Mar 28, 2024Updated 2 years ago
- cross platform GUI for k2pdfopt, built with electron☆16Apr 3, 2017Updated 9 years ago