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☆27Apr 17, 2015Updated 11 years ago
- dmake - formerly used by openoffice.org☆18Oct 29, 2023Updated 2 years ago
- ☆12Apr 4, 2026Updated 4 months ago
- 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
- 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.
- Alfred Workflow for Amphetamine.☆14Feb 13, 2023Updated 3 years ago
- ☆11May 16, 2026Updated 2 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 6 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 style. Example at https://map.atownsend.org.uk/maps/map/map.html . This i…☆14Updated this 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Website contents for nommu.org☆10Sep 30, 2020Updated 5 years ago
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- Repository for data portability report and solutions for ActivityPub☆22Jun 1, 2026Updated 2 months ago
- 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 22, 2014Updated 11 years ago
- portable libc optimized for code size and readability☆82Oct 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 11 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.
- Fork of the Contiki repository☆17Feb 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 12 years ago
- TPDD client implemented in bash☆21Oct 29, 2025Updated 9 months ago
- 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 14 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Open source Maximum Power Point Tracking (MPPT) and inverter hardware/software for photovoltaic projects.☆48Feb 20, 2020Updated 6 years ago
- This repository groups a set of tools using svd features for debuging...☆31Oct 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