Popular repositories Loading

1. FV-workshop FV-workshop Public

   1-day Formal verification workshop code using Certora Prover

   Solidity 1

2. NeuralNetwork NeuralNetwork Public

   A C++ implementation of a basic neural network with regularization.

   C++

3. IntervalTree IntervalTree Public

   A C++ template class for left-side group operations on intervals (Academic project)

   C++

4. TI4-race-randomizer TI4-race-randomizer Public

   Forked from 1Mill/TI4-race-randomizer

   Race selector for the board game Twilight Imperium 4th Edition (TI4).

   Vue

5. react-boilerplate react-boilerplate Public

   Forked from vanruch/react-boilerplate

   TypeScript

6. smart-contracts smart-contracts Public

   Forked from trusttoken/contracts-pre22

   TrustToken smart contracts

   TypeScript