M-krishna
Follow
Lists (4)
Starred repositories
Demo app for Kubernetes Up and Running book
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
async language server protocol plugin for vim and neovim
Collection of errata for book Aarne Ranta, Implementing Programming Languages
Programming in assembly language tutorial
WebAssembly from Scratch: From FizzBuzz to DooM.
Another forgettable HDL language insipred by VHDL and Verilog
2
Updated Sep 20, 2024
A 16-bit Hack CPU from scratch on FPGA.
Verilator open-source SystemVerilog simulator and lint system
From the Transistor to the Web Browser, a rough outline for a 12 week course
Master programming by recreating your favorite technologies from scratch.
A cross-platform x86 assembler with an Intel-like syntax
Fast and low overhead web framework, for Node.js
Enhanced GNU Make - tracing, error reporting, debugging, profiling and more
Ping-Pong-like game in Assembly that works without OS
Neural Networks: Zero to Hero
Single-file public domain libraries for C/C++
