![]() ![]() rcore-os/x86-smpboot - Booting multi-processors on x86 bare-metal.briansmith/ring - Safe, fast, small crypto using Rust.Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. cirosantilli/x86-bare-metal-examples - Dozens of minimal operating systems to learn x86 system programming.vproc/vicuna - RISC-V Zve32x Vector Coprocessor.StanfordPL/strata - Automatic inference of a formal specification of the x86_64 instruction set.adamtait/ArduinoDeathClock - Countdown the years/days/seconds remaining in your life.arclanguage/anarki - Community-managed fork of the Arc dialect of Lisp for commit privileges submit a pull request.juanbono/verified-fp-agda - Functional Verified Programming in Agda - Exercises.pigworker/CS410-17 - being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde.HosakaCorp/go-spark - Go+Ada SPARK Example.Terråavanagh/VVVVVV - The source code to VVVVVV!.tinyfpga/TinyFPGA-Bootloader - An open source USB bootloader for FPGAs.A curated list of my GitHub stars! Generated by starred.
0 Comments
Leave a Reply. |