Pinned Repositories
cgit-dark
Modern responsive and mobile-friendly theme for cgit inspired by gruvbox. See https://git.tedyin.com/ for an example.
chromicle
Track your time spent in different activities using Google Calendar.
cordwood
Non-archival blockchain key-value store with fast recent state retrieval.
growth-ring
Simple and modular write-ahead-logging implementation.
inconsolata_for_powerline_mod
Inconsolata with patched missing glyphs which are necessary for drawing tmux split line.
runes
No-std NES emulator library and minimal emulator written purely in Rust.
salticidae
Minimal C++ asynchronous network library for distributed systems.
snow-bft-demo
Visual demo of the Snow/Avalanche protocol family
tmux-colortag
A plug-and-play, minimal tmux plugin/theme that automatically colors the window tags.
libhotstuff
A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurrencies.
Determinant's Repositories
Determinant/inconsolata_for_powerline_mod
Inconsolata with patched missing glyphs which are necessary for drawing tmux split line.
Determinant/bluepill-momo2
A minimal example using USB HID
Determinant/cppromise
Lightweight C++14/17 implementation of Promise modeled after Javascript Promise/A+.
Determinant/alacritty
A cross-platform, GPU-accelerated terminal emulator
Determinant/bluepill-usbcdc-template
Determinant/calligraphy-grid
Printable grid templates for practicing calligraphy
Determinant/cudpp
CUDA Data Parallel Primitives Library
Determinant/guitar_pieces
Misc guitar pieces typeset by lilypond
Determinant/h99
My solutions to H-99 problem: https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems
Determinant/bft-smart
BFT-SMaRt's project home page
Determinant/bluepill-momo
A minimal example using USB CDC
Determinant/bluepill-usbcdc
Rust FFI of Basic USB CDC support in C generated by ST official IDE
Determinant/bluepill-usbhid
Rust FFI of Basic USB HID support in C generated by ST official IDE
Determinant/bluepill-usbhid-template
Determinant/cortex-m-rt
Minimal startup / runtime for Cortex-M microcontrollers
Determinant/ecp_judge
Simple judge script for PPCA Project.
Determinant/gkeepapi
An unofficial client for the Google Keep API.
Determinant/glutin
Pure Rust alternative to GLFW
Determinant/go-ethereum
Official Go implementation of the Ethereum protocol
Determinant/lab_monitor
An easy-to-deploy and simple web interface to monitor whatever you want.
Determinant/lmdb
Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use OpenLDAP ITS for issues.
Determinant/nikola
A static website and blog generator
Determinant/nixie-clock
A multi-functional nixie tube clock implemented in Rust.
Determinant/oxefmsynth
Oxe FM Synth official repository
Determinant/sdcv
Determinant/set_replication
A demo project to show the full process of developing an end-to-end mechanically proved distributed system.
Determinant/stm32f407x
Peripheral access API for STM32F407x microcontrollers (generated using svd2rust)
Determinant/weaver
A scalable, fast, consistent graph store
Determinant/winit
Window handling library in pure Rust
Determinant/xem
Simple Sequence Generation Algorithm v0.3 (old program written in high school).