Pinned Loading

1. Graph-colouring Graph-colouring Public

   A typed language and verified compiler that reduces graph coloring to unit-disk MWIS for neutral-atom hardware, with machine-checked soundness proofs.

   Haskell

2. llvm/llvm-project llvm/llvm-project Public

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM 38.8k 17.5k

3. p2p-gossiping-app p2p-gossiping-app Public

   A peer to peer network implementation in Rust, to send random messages to peers in the network in the specifiec pre-defined time periods.

   Rust

4. embedded3d-api embedded3d-api Public

5. pomc-bison pomc-bison Public

   C

6. QKepler-Optimization-Algorithm QKepler-Optimization-Algorithm Public

   MATLAB