Benjamin Black's starred repositories

git-flight-rules

Flight rules for git

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

Language:JavaScriptLicense:MITStargazers:24332Issues:639Issues:1870

primitive

Reproducing images with geometric primitives.

openscad

OpenSCAD - The Programmers Solid 3D CAD Modeller

Language:C++License:NOASSERTIONStargazers:6558Issues:249Issues:2935

licecap

LICEcap simple animated screen capture tool for Windows and OS X

pest

The Elegant Parser

Language:RustLicense:Apache-2.0Stargazers:4438Issues:44Issues:457

trillian

A transparent, highly scalable and cryptographically verifiable data store.

Language:GoLicense:Apache-2.0Stargazers:3501Issues:79Issues:334

paseto

Platform-Agnostic Security Tokens

Language:PHPLicense:NOASSERTIONStargazers:3201Issues:76Issues:82

theBeamBook

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

Language:ErlangLicense:CC-BY-4.0Stargazers:3057Issues:161Issues:48

cleanflight

Clean-code version of the baseflight flight controller firmware

Language:CLicense:GPL-3.0Stargazers:2580Issues:313Issues:1738

aleph

Asynchronous streaming communication for Clojure - web server, web client, and raw TCP/UDP

Language:ClojureLicense:MITStargazers:2529Issues:74Issues:365

Onboard-SDK-ROS

Official ROS packages for DJI onboard SDK.

LibreQoS

A Quality of Experience and Smart Queue Management system for ISPs. Leverage CAKE to improve network responsiveness, enforce bandwidth plans, and reduce bufferbloat.

Language:HTMLLicense:GPL-2.0Stargazers:377Issues:20Issues:263

rafter

An Erlang library application which implements the Raft consensus protocol

crypto-for-kids

A cryptography book for kids

state-machine

Finite state machine class generator for java, exports graphml, supports immutability!

Language:JavaLicense:Apache-2.0Stargazers:131Issues:6Issues:2
Language:C++License:Apache-2.0Stargazers:105Issues:29Issues:0

CryptoBook

Learning Cryptography, math and programming with Cryptol (and maybe some Python)

Language:PythonLicense:NOASSERTIONStargazers:93Issues:15Issues:1

FMS

GFDL's Flexible Modeling System

Language:FortranLicense:NOASSERTIONStargazers:87Issues:19Issues:538

ATLAS

Datasets, code and virtual workspace for the Climate Change ATLAS

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:80Issues:17Issues:13

trivup

Trivially Up a cluster of applications (such as a Kafka cluster!)

Language:PythonLicense:BSD-2-ClauseStargazers:49Issues:5Issues:8

cryptol-course

The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.

Language:PythonLicense:BSD-3-ClauseStargazers:24Issues:9Issues:83

sidh-rs

Supersingular Isogeny Diffie-Hellman in Rust

Language:RustLicense:NOASSERTIONStargazers:17Issues:6Issues:2

sample-keycloak-getting-token

Sample to get keycloak token from console application

Language:PythonStargazers:2Issues:0Issues:0
Language:JuliaLicense:BSD-3-ClauseStargazers:2Issues:5Issues:0

thesis-sage-code

Sage code for a master thesis

Language:PythonStargazers:1Issues:0Issues:0

isogeny-graphs

Various simulations on supersingular isogeny graphs related to SIDH/SIKE

Language:PythonLicense:MITStargazers:1Issues:1Issues:0