Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features
☆15Dec 8, 2015Updated 10 years ago
Alternatives and similar repositories for gxemul
Users that are interested in gxemul are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gavare's Experimental Emulator☆28Apr 17, 2015Updated 11 years ago
- dmake - formerly used by openoffice.org☆18Oct 29, 2023Updated 2 years ago
- ☆12Aug 22, 2026Updated last month
- Glitch Works Monitor targeted toward the 8080/8085/Z80 CPUs☆22Dec 4, 2020Updated 5 years ago
- "The Definitive ANTLR4 Reference" by Terence Parr, published by The Pragmatic Bookshelf - book code.☆19Dec 23, 2018Updated 7 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.
- Alfred Workflow for Amphetamine.☆14Feb 13, 2023Updated 3 years ago
- ☆11May 16, 2026Updated 4 months ago
- Semantic Vocab for the Internet of Things☆13Nov 3, 2016Updated 9 years ago
- literature review renewal of PV faults diagnosis, including papers, datasets, and codes☆25Feb 22, 2024Updated 2 years ago
- Examples which shows how to create MATE panel applet with Python.☆18Sep 14, 2019Updated 7 years ago
- An operating system built with RISCV and Zig☆14Apr 26, 2020Updated 6 years ago
- An "England and Wales rural pedestrian" focused OSM-based map schema. Raster and vector examples at https://map.atownsend.org.uk/maps/ma…☆14Sep 26, 2026Updated last week
- Create EPUBs from your Readwise Reader inbox☆16Jul 8, 2023Updated 3 years ago
- tidyp, a fork of the original tidy☆35Aug 1, 2011Updated 15 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.
- Website contents for nommu.org☆10Sep 30, 2020Updated 6 years ago
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- Repository for data portability report and solutions for ActivityPub☆22Sep 23, 2026Updated last week
- KDE Plasmoid software updater for openSUSE Tumbleweed☆13Jul 25, 2025Updated last year
- C source code for the LPC ARM.☆20Jun 27, 2014Updated 12 years ago
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
- Erlang glue & control code for dynamic library-level fault injection☆15Aug 14, 2026Updated last month
- portable libc optimized for code size and readability☆83Oct 6, 2016Updated 9 years ago
- A branch of the released MS-DOS 1.1 and 2.0 source code, with ASM and OBJ files translated to enable compiling from source with open sour…☆21Aug 9, 2014Updated 12 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.
- Fork of the Contiki repository☆18Feb 8, 2018Updated 8 years ago
- Run the ZNC irc bouncer on Docker (http://docker.io)☆17Apr 4, 2019Updated 7 years ago
- A syntactic macro system on top of the Java language. Acts as a source pre-processor.☆17Aug 21, 2013Updated 13 years ago
- TPDD client implemented in bash☆21Updated this week
- A simple IRC bot that responds to commands. Inspired by Hubot. Implemented in Python.☆15Mar 20, 2013Updated 13 years ago
- Tiny fork of TinySCHEME to support no-hassle building on Mac OS X (plus a bridge to Objective-C, but use CocoaScheme instead of this) WAR…☆16Dec 13, 2009Updated 16 years ago
- Implementation of the SPDY protocol in ocaml☆14Oct 2, 2011Updated 15 years ago
- High performance, DPDK-based, user space firewall☆13Dec 9, 2015Updated 10 years ago
- MipScope is a cross-platform IDE for students learning assembly on the MIPS architecture. The focus is on a convenient debugging environm…☆16May 11, 2024Updated 2 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.
- Open source Maximum Power Point Tracking (MPPT) and inverter hardware/software for photovoltaic projects.☆47Feb 20, 2020Updated 6 years ago
- This repository groups a set of tools using svd features for debuging...☆32Oct 27, 2022Updated 3 years ago
- a quick open/close/ioctl/read/write syscall hooker☆15May 28, 2014Updated 12 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- Portable C Compiler (CVS mirror)☆12Apr 9, 2012Updated 14 years ago
- An exokernel written in C11 (with GNU extensions) for Clang.☆15Jun 6, 2013Updated 13 years ago
- Spring component to load external properties from AWS S3☆20Nov 14, 2020Updated 5 years ago