0x7felf.com Git repositories

Name	Description	Owner	Idle	Links
dev
embedded-template	Template for writing hardware-agnostic and cross-platform embedded applications	Aditya N. Naik	5 years	summary log tree
xv6-riscv	MIT xv6-RISCV kernel modified to RV64I base integer extension	Aditya N. Naik	5 years	summary log tree
rv64i-core	Single-cycle RISC-V core with the RV64I base integer extension	Aditya N. Naik	5 years	summary log tree
firrtl-coq	Formal verification of FIRRTL components using Coq definitions generated from SA...	Aditya N. Naik	4 years	summary log tree
uhunt-solutions	Solutions to numerous uVA uHunt Problems	Aditya N. Naik	6 years	summary log tree
uctrl-hs-proto	Protobuf-based protocol for distributed embedded architectures. STM32F4 based	Aditya N. Naik	5 years	summary log tree
simplemodbus	A simple hardware agnostic Modbus implementation	Aditya N. Naik	5 years	summary log tree
project-voicectrl	Pure C-based voice control system for Linux	Aditya N. Naik	9 years	summary log tree
tictactoeTLA+	Tic-tac-toe specification in TLA+	Aditya N. Naik	8 years	summary log tree
paxos-sim	Paxos distributed protocol simulation in Python	Aditya N. Naik	8 years	summary log tree
shapeless-playground	Scala shapeless experiments	Aditya N. Naik	4 years	summary log tree
chiselX	Chisel with SFC compatibility		3 years	summary log tree
sfcX	Scala FIRRTL Compiler for chiselX		3 years	summary log tree
hardware
openmano	Open source, modular and wireless manometer PCB and firmware	Aditya N. Naik	5 years	summary log tree
openmano-mpy	MicroPython source and hardware configuration for OpenMano	Damien George	5 years	summary log tree
tagconn-brkout	Breakout board for Tag-Connect. Very handy for flashing and debugging MCU-based ...	Aditya N. Naik	5 years	summary log tree
archive
pyabspath	Quicker alternative to glob.glob for getting Linux absolute paths in python2	Aditya N. Naik	12 years	summary log tree
asl-counter	Keyboard-driven application for calculating ASLs	Aditya N. Naik	12 years	summary log tree
mirrors
coq	The formal proof system		5 years	summary log tree
sail	Formal specification language for ISAs		5 years	summary log tree
coq-mathcomp	Library of mathematical components formalized in Coq		5 years	summary log tree
principia-rewrite	Russell and Whitehead's Principia Mathematica written in in Coq		5 years	summary log tree
proof-general	Emacs plugins for proof management systems		5 years	summary log tree