Pinned Repositories
adventofcode
arbre
codejar
An embeddable code editor for the browser 🍯
fibomachine
Arbitrary long integer sequence calculator
fibomachine-frontend
fish-lunch-box
3D printed automatic fish feeder
geotiff.js
geotiff.js is a small library to parse TIFF files for visualization or analysis. It is written in pure JavaScript, and is usable in both the browser and node.js applications.
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
light-distortion
Distortion script based on libvips. Replacement of ImageMagick's "-distort Shepards" command
shc-reader
Smart Health Cards Reader
tourtiere's Repositories
tourtiere/light-distortion
Distortion script based on libvips. Replacement of ImageMagick's "-distort Shepards" command
tourtiere/adventofcode
tourtiere/shc-reader
Smart Health Cards Reader
tourtiere/arbre
tourtiere/codejar
An embeddable code editor for the browser 🍯
tourtiere/fibomachine
Arbitrary long integer sequence calculator
tourtiere/fibomachine-frontend
tourtiere/fish-lunch-box
3D printed automatic fish feeder
tourtiere/geotiff.js
geotiff.js is a small library to parse TIFF files for visualization or analysis. It is written in pure JavaScript, and is usable in both the browser and node.js applications.
tourtiere/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
tourtiere/graphql-playground
🎮 GraphQL IDE for better development workflows (GraphQL Subscriptions, interactive docs & collaboration)
tourtiere/lkif-core
The LKIF Core Ontology of Basic Legal Concepts
tourtiere/montreal47-landingpage
tourtiere/natural_number_game
Building the natural numbers in Lean.
tourtiere/mapbox-gl-draw
Draw tools for mapbox-gl-js
tourtiere/opening-traps
Chess opening traps
tourtiere/pyvips
python binding for libvips using cffi
tourtiere/rusty-shepards
tourtiere/sacoche
A command line interface Ethereum wallet
tourtiere/tutorials
Some Lean tutorials