Lucien David's repositories
THREE.js-Crowd-Animation
A demonstration of a THREE.js crowd animation scene
AttestationGenerator
An attempt to generate attestations from a phone with a remote connection to a Virtual EC2 Machine on AWS.
Circular-Proofs-Validity
A formalization of µMALL, and an attempt to prove the Decidability of Circular Proof Validity
coq-algorithms
A logical representation (LL) of algorithms in Coq
MovieMaker
This repository is a util to concatenate few videos into a final video montage, which are all separated by simple transition frames.
Polynomial-Interpolation
This git repository is an implementation of polynomials and their use for interpolation.
spotify-dl
Downloads songs from your Spotify Playlist
target-platform.UI-bug
This is a sample project that exposes a UI bug in Eclipse Target Platform configuration.
THREE.js-Cloth-animation
This project is a THREE.js attempt to simulate the physics involved in a cloth material
THREE.js-Fictitious-forces
This project is a quick demonstration of how the inertial forces work in a non-inertial reference frame
THREE.js-Solar-system
This scene is some kind of didactic work to show the basic parameters of a THREE.js camera
threejs-dice
Javascript library to create throwable dice with threejs and cannonjs