Benjamin Black's starred repositories
git-flight-rules
Flight rules for git
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
theBeamBook
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
cleanflight
Clean-code version of the baseflight flight controller firmware
Onboard-SDK-ROS
Official ROS packages for DJI onboard SDK.
crypto-for-kids
A cryptography book for kids
state-machine
Finite state machine class generator for java, exports graphml, supports immutability!
CryptoBook
Learning Cryptography, math and programming with Cryptol (and maybe some Python)
cryptol-course
The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
sample-keycloak-getting-token
Sample to get keycloak token from console application
thesis-sage-code
Sage code for a master thesis
isogeny-graphs
Various simulations on supersingular isogeny graphs related to SIDH/SIKE