Graphical-Micro-Architecture-Simulator
☆15Oct 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for LEGv8-Simulator
Users that are interested in LEGv8-Simulator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- finite-cache is a Clojure caching library that allows you to limit the size of a cache object.☆14May 31, 2020Updated 6 years ago
- Thinking through AI agents and the neuro-symbolic definition from an early LLM agent paper called MRKL. I'm sharing my reasoning behind u…☆12Nov 23, 2024Updated last year
- IronKernel is a dialect of the Kernel programming language for the .NET framework.☆17Oct 25, 2026Updated last week
- ☆13May 9, 2015Updated 11 years ago
- NixOS Installer☆10Feb 28, 2023Updated 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.
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 5 years ago
- RDT is a REPL-Driven Test library for Clojure☆14Feb 1, 2024Updated 2 years ago
- Algolia search add-on for WP2Static☆10Jun 4, 2020Updated 6 years ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- Record and replay serial port traffic with pytest.☆10Dec 30, 2025Updated 10 months ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- Make std::mdspan formattable by std::format.☆11Dec 25, 2023Updated 2 years ago
- Pure-Rust port of CerebroCortex — brain-analogous AI memory system with ACT-R/FSRS activation, associative networks, 8-phase dream engine…☆15Aug 9, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Serverless Image Optimizer using AWS S3 + Lambda. Can drop images in, and outputs multiple optimized sizes.☆19Jun 11, 2024Updated 2 years ago
- toy project to learn about the memory usage of different workloads with different allocators☆10Mar 30, 2023Updated 3 years ago
- XLSXIO bidings por clojure☆17Sep 17, 2021Updated 5 years ago
- Ixnay is a Nix shell wrapper that I'm writing as I learn about Nix and how to do various operations.☆11Jul 25, 2026Updated 3 months ago
- 🐳🐟🐚Docker image for the Friendly Interactive Shell, aka fish☆17Feb 12, 2026Updated 8 months ago
- experiments in lisp static analysis☆12Oct 12, 2015Updated 11 years ago
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Jun 26, 2020Updated 6 years ago
- Clojure routing library which is an abstraction over Liberator + Compojure☆13May 6, 2020Updated 6 years ago
- Automatically exported from code.google.com/p/libsum☆12Mar 19, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Clojure wrapper for the Java version of the PowerLoom knowledge representation and reasoning system☆13Feb 17, 2012Updated 14 years ago
- About void and absence of information☆19Mar 25, 2021Updated 5 years ago
- A Log4j Adapter for Clojure☆10Dec 23, 2021Updated 4 years ago
- Get started with dahliaOS☆15Feb 23, 2023Updated 3 years ago
- Cuis Smalltalk version 6.2 Stable Release☆14Mar 6, 2024Updated 2 years ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- JSON representation of first-order logic formulas☆13Aug 30, 2020Updated 6 years ago
- An init system for simplifying the process of running docker containers as firecracker microvms☆16Nov 6, 2023Updated 2 years ago
- Kernel Programming Language written in assembly and Klisp, Imported from https://bitbucket.org/havleoto/bronze-age-lisp☆15Jan 3, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Add a server mode to X11 clients☆16Jul 29, 2024Updated 2 years ago
- Bazel rules for interacting with bazel build artifacts and bringing them into your workspace☆10Jun 30, 2026Updated 4 months ago
- Protocol definition and specification for the Lichat chat system☆20May 17, 2026Updated 5 months ago
- Spatial efficient monospace font family for programming. Built from code.☆10Oct 22, 2026Updated last week
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 4 years ago
- High-level programming language with incremental execution and local search☆12May 19, 2025Updated last year