![]() ![]() 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. ![]()
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |