Pinned Repositories
audio.psychoacoustics
bitstream
Binary Data for Humans
CDIS
Calcul Différentiel, Intégral et Stochastique
control-engineering-with-python
Control Engineering with Python
pandoc
Pandoc (Python Library)
pioupiou
Pioupiou 🐤, the nano PPL
POO-Java
Programmation Orientée Objet avec Java
python-fr
Python 🇫🇷
tinygo-arduino
TinyGo for Arduino
zeroconf
Simple/Pythonic Zeroconf Service Search/Registration
boisgera's Repositories
boisgera/control-engineering-with-python
Control Engineering with Python
boisgera/pytorch
boisgera/annotate-lab
Annotate-lab is an open-source image annotation tool for efficient dataset creation. With an intuitive interface and flexible export options, it streamlines your machine learning workflow. 🖼️✏️📑
boisgera/auto-mpg
boisgera/auto-mpg-better
boisgera/datasets
boisgera/empty-set
boisgera/go-concurrency
Go Concurrency
boisgera/imperative-lean
boisgera/kata-mathlib
boisgera/lean-topo
boisgera/marimo
A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.
boisgera/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
boisgera/pixi
Package management made easy
boisgera/pixi-ci
boisgera/pycuda
boisgera/pygfx_sandbox
boisgera/python-to-go
boisgera/quizz-0
boisgera/quizz-1
boisgera/quizz-2
boisgera/quizz-3
boisgera/quizz-4
boisgera/quizz-5
boisgera/react-civet
boisgera/redis-IDS-lab
boisgera/slides
boisgera/STL
3D Geometry File Formats
boisgera/torrent
boisgera/vite-react-civet