Stars
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
A collection of scripts and tools for Atmel ATF150x and GAL Programmable logic devices, some of the only standing active 5V programmable logic parts still available.
🎓 Path to a free self-taught education in Computer Science!
Autonomously train research-agent LLMs on custom data using reinforcement learning and self-verification.
Analizador USB - Trabajo Fin de Grado (TFG) de Mario Rubio. UCLM 2018.
This Repo has Files related to reverse engineering of IBM 98Y2610 Intel Cyclone IV
Simple Speech-To-Text on the '10 cents' CH32V003 Microcontroller
Atari 8 bit computers, NES and SMS game consoles on your TV with nothing more than a ESP32 and a sense of nostalgia
Documenting the Catapult v3 SmartNIC FPGA boards (Dragontails Peak & Longs Peak)
Bringup-Bench is a collection of standalone minimal library and system dependence benchmarks useful for bringing up newly designed CPUs, accelerators, compilers and operating systems. You probably …
Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
Design digital circuits in C. Simulate really fast with a regular compiler.
A C-like hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler feature.
An ultra-lightweight Python interpreter that runs with only 4KB of RAM, zero dependencies. It is ready to use out of the box without any configuration required and easy to extend with C. Similar pr…
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
How to create minimal wasm module with plain C/C++
USB host/device implementation using PIO of raspberry pi pico (RP2040/RP2350).
Modular hardware build system
Sigma Delta Modulation for RP2040, ESP32, Teensy
Tests for all valid opcodes of the 6502 and 65C02 processor
A tool for generating worst-case inputs to commonly used algorithms
Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)
SiLabs C8051F34x code protection bypass
OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/