guillaug's repositories
scalajs-gatsby
Boilerplate for using Gatsby with ScalaJS and Slinky
adafruit-rpi-fbtft
Fork of FBTFT for use with Adafruit TS shield
ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to cloud management, in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com.
awesome-scala
A community driven list of useful Scala libraries, frameworks and software.
barretenberg
C++ elliptic curve library
build
Source code and build system used to generate the book Hands-on Scala Programming
docker-garradin
Unofficial Docker image for Garradin. http://dev.kd2.org/garradin/
jinja
A very fast and expressive template engine.
kicad-doc
KiCad new documentation repository [moved to https://gitlab.com/kicad]
kitlangton-formula
Form Combinator Library for decimating frontend boilerplate.
laminar-form-derivation
ScalaJS Laminar form derivation with Magnolia
mailtrain
Self hosted newsletter app
metamask-extension
:globe_with_meridians: :electric_plug: The MetaMask browser extension enables browsing Ethereum blockchain enabled websites.
next.js
The React Framework
smart
Verification and Generation of Smart Contracts using Stainless and Scala
socket.io-java-client
Socket.IO Client Implementation in Java
stainless
Verification framework and tool for higher-order Scala programs
vocdoni-docs
Vocdoni documentation