Instruction-less computation
☆19Dec 7, 2023Updated 2 years ago
Alternatives and similar repositories for instless_comp
Users that are interested in instless_comp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimental static analysis framework.☆14Apr 17, 2024Updated 2 years ago
- isla coq infrastructure☆23Mar 11, 2025Updated last year
- Example of using Windows Platform Binary Table (WPBT)☆27Jul 9, 2023Updated 3 years ago
- Hugin. The type-1 hypervisor on aarch64.☆13Oct 13, 2025Updated last year
- A Valgrind tool for finding redundant loads/stores☆21Feb 3, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Certified Reasoning with Language Models☆31Dec 6, 2023Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆44Sep 29, 2023Updated 3 years ago
- A tool for testing C compilers automatically☆23Jan 24, 2016Updated 10 years ago
- Proof assistant based on first-order logic and set theory☆71Oct 22, 2026Updated last week
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- 🛠 [WIP] An emulator for Nintendo Entertainment System written in Rust☆13Sep 24, 2020Updated 6 years ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- ncurses based discord client☆11Aug 3, 2019Updated 7 years ago
- Common Hackable Adaptable Operating System☆14Sep 25, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu☆10Apr 9, 2019Updated 7 years ago
- ☆16Oct 23, 2026Updated last week
- This repository contains several applications, demonstrating the Meltdown bug.☆10Jan 10, 2018Updated 8 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated last year
- encrypted-linux-kernel-modules☆13Nov 4, 2020Updated 5 years ago
- Unofficial mirror of☆12Feb 2, 2018Updated 8 years ago
- 音MADを自動生成するOSS☆27Sep 20, 2026Updated last month
- Brainfuck interpreter for GameBoy Advance!☆13Jan 31, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- Elaboration of cumulative universe hierarchies☆13Oct 26, 2026Updated last week
- 🎨 Drawing images with lambda calculus☆12Aug 27, 2026Updated 2 months ago
- ARM binary to C static recompiler, eventually a 3ds emulator using the Windows Hypervisor Platform. So bad it's radioactive !☆10Oct 17, 2025Updated last year
- 長野高専の3J「アルゴリズムとデータ構造」後期の多倍長演算プログラム☆21Mar 1, 2018Updated 8 years ago
- Very hacky Starlet emulator. Here be dragons, this was never meant to be released.☆12Nov 30, 2016Updated 9 years ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- 🍎 BadApple-STM32-VcanLCD（128 * 64）-ff文件系统-SPI_MicroSD☆13May 15, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Jan 2, 2023Updated 3 years ago
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 14 years ago
- Dockerfile for AMD/Xilinx Vivado☆16Mar 22, 2026Updated 7 months ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Inertia is the register-based, lightweight, Turing-complete virtual machine running a small set of bytecodes for benchmarking VM performa…☆14Nov 2, 2016Updated 10 years ago
- A register-based virtual machine and byte-code compiler written in a single semester☆12Feb 11, 2014Updated 12 years ago
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago