Popular repositories Loading

1. tetromino tetromino Public

   A SAT based tetromino solver.

   Python

2. rustlings rustlings Public

   Forked from rust-lang/rustlings

   🦀 Small exercises to get you used to reading and writing Rust code!

   Rust

3. LOG-bestiaire-musical LOG-bestiaire-musical Public

   Arduino project to automate a remote-controled shadow puppet show for the Bestiaire Musical project of the french baroque music group "Les Ondes Galantes".

   C++

4. hyperledger-labs.github.io hyperledger-labs.github.io Public

   Forked from LF-Decentralized-Trust-labs/LF-Decentralized-Trust-labs.github.io

   Hyperledger Labs

5. hedera-toy hedera-toy Public

   Toy examples of hedera use cases using the GO sdk (from the Hedera documentation)

   Go

6. crml-compiler crml-compiler Public

   Forked from lenaRB/crml-compiler

   Implementation of the CRML to Modelica compiler supported by the ITEA3 EMBRACE project.

   Modelica