Instruction-less computation
☆18Dec 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
Sorting:
- Experimental static analysis framework.☆15Apr 17, 2024Updated last year
- context.Context extentions☆16Mar 13, 2019Updated 7 years ago
- Example of using Windows Platform Binary Table (WPBT)☆27Jul 9, 2023Updated 2 years ago
- Intro & Credits Skipper for VLC☆16Aug 12, 2021Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆41Sep 29, 2023Updated 2 years ago
- A Valgrind tool for finding redundant loads/stores☆21Feb 3, 2020Updated 6 years ago
- A tool for testing C compilers automatically☆22Jan 24, 2016Updated 10 years ago
- Working blinking led examples for the STM32F1XX embedded ARM Cortex-M3 Discovery evaluation board☆20Nov 9, 2020Updated 5 years ago
- Certified Reasoning with Language Models☆31Dec 6, 2023Updated 2 years ago
- Free Pascal tiny game development framework☆30Jan 15, 2018Updated 8 years ago
- Asynchronous adapter for byteorder☆20Feb 10, 2021Updated 5 years ago
- A stronger alternative for Java's Proxy API. Allows the creation of 'mimicked' classes and interfaces with the ability to replace their m…☆11May 8, 2024Updated last year
- Install jvm-based version of Panda using the fancy installer 🚀☆10Dec 2, 2021Updated 4 years ago
- ☆10Nov 19, 2016Updated 9 years ago
- Various tools, exploits and other short code snippets☆12Dec 25, 2018Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- A Pastebin service☆10Apr 7, 2021Updated 4 years ago
- Tiny Regular Expression Matcher☆10May 23, 2019Updated 6 years ago
- n8n driven drama generator providing daily drama for Bookkity discord server☆10Mar 3, 2026Updated 2 weeks ago
- Crops the Steam Desktop overlay in SteamVR to the content of the primary display. This probably isn't useful anymore unless when forcing …☆11Jun 8, 2019Updated 6 years ago
- Packer configuration files for Windows Server 2022☆44Jan 17, 2024Updated 2 years ago
- Backport of Java 9 CompletableFuture, Flow and SubmissionPublisher API for Java 8☆14Mar 18, 2023Updated 3 years ago
- ☆13Dec 1, 2020Updated 5 years ago
- Xen hypercall and interfaces in Rust☆16Jan 14, 2025Updated last year
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆27Feb 3, 2021Updated 5 years ago
- encrypted-linux-kernel-modules☆12Nov 4, 2020Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- The best interview questions ever☆10Jan 27, 2024Updated 2 years ago
- Unofficial mirror of☆11Feb 2, 2018Updated 8 years ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- ☆48Jun 12, 2017Updated 8 years ago
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Lightweight and easy to use library for PCD8544 lcd controller, tested on ATmega328P and Nokia 5110 LCD☆28Nov 25, 2015Updated 10 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- generator for timelines and Gantt charts☆31Apr 24, 2017Updated 8 years ago
- Experimental Work in Progress Nintendo 64 emulator written in Rust☆10Feb 8, 2022Updated 4 years ago