Lists (2)
Starred repositories
Geant4 toolkit for the simulation of the passage of particles through matter - NIM A 506 (2003) 250-303
Formal proof of the Four Color Theorem [maintainer=@ybertot]
AWS App Mesh is a service mesh that you can use with your microservices to manage service to service communication.
Efficient alternative to SoftwareSerial with attachInterrupt for RX chars, simultaneous RX & TX
Arduino library for Pololu High-Power Stepper Motor Drivers
[For Arduino] Library for working with a thermocouple based on the MAX6675 driver.
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
SU2: An Open-Source Suite for Multiphysics Simulation and Design
Unofficial Deezer client app for Linux
Codes related to the article on factorization with a memory
Compute descriptors for 3D point cloud registration using a multi scale sparse voxel architecture
Arduino quadrature encoder library. Implements a simple to use, interrupt driven quadrature decoder for Arduino.
A VERY simplified version of what I hope to implement with my Kalman_PositionAndVelocity Library. That project suffered from project creep and has become more generalized and memory intensive than …