Thomas Binétruy-Pic's starred repositories
abi2signature
Use the ABI of a smart contract to find out the function signatures
django-admin-two-factor-auth
Two factor authentication for Django admin
smartts-sdk
SmartTS SDK is a metaprogramming framework for building Tezos smart contracts from Javascript.
PomPom-Language
The cuteness implementation of a dependently typed language.
AeroPython
Classical Aerodynamics of potential flow using Python and Jupyter Notebooks
flycheck-pyre
Flycheck support for the Pyre type checker
Financial-Models-Numerical-Methods
Collection of notebooks about quantitative finance, with interactive python code.
flycheck-jest
Flycheck extenstion for jest
type-systems
Implementations of various type systems in OCaml.
javascript-algorithms
📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings
openvpn-install
OpenVPN road warrior installer for Ubuntu, Debian, AlmaLinux, Rocky Linux, CentOS and Fedora
the-bread-code
Learn how to master the art of baking the programmer way.
gl-react-v2
DEPRECATED =>
Quake-III-Arena
Quake III Arena GPL Source Release