Dafny is a verification-aware programming language

A graphical processor simulator and assembly editor for the RISC-V ISA

Build a RISC-V computer system on fpga iCE40HX8K-EVB and run UNIX xv6 using only FOSS (free and open source hard- and software).

Repo for code examples in Quantitative Finance with Python by Chris Kelliher

Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoanalysissolutions

A collection of learning resources for curious software engineers

CORE-V Wally is a configurable RISC-V Processor associated with RISC-V System-on-Chip Design textbook. Contains a 5-stage pipeline, support for A, B, C, D, F, M and Q extensions, and optional cache…

A lens editor and simulator for fun.

A curated list of awesome Taichi applications, courses, demos and features.

A cross-platform minigolf game written in C.

You like pytorch? You like micrograd? You love tinygrad! ❤️

RISC-V Linux SoC, marchID: 0x2b

32-bit Superscalar RISC-V CPU

A feature-rich command-line audio/video downloader

Repository for Xinu source code

Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro

Let us control diffusion models!

Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)

RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.

need for madness NFM decompiled source

游戏脚本高级编程随书光盘

A Tour Through the SubC Compiler

Max 8 patch emulating the Make Noise Mimeophon.

The most cited deep learning papers

A pedagogical implementation of Autograd

The goal of this hack has been to make an idealized definitive version of Pokemon Crystal that has every Pokemon available to catch and to fix a number of glaring glitches that hampered the origina…

Disassembly of Pokémon Crystal

An ebook about bare-metal programming for ARM

Implemetation of pipelined ARM7TDMI processor in Verilog