Pinned Loading

1. fuzz-d/fuzz-d fuzz-d/fuzz-d Public

   Random program generator to verify (fuzz) the Dafny compiler

   Kotlin 7 3

2. dafny-lang/dafny dafny-lang/dafny Public

   Dafny is a verification-aware programming language

   C# 3.2k 294

3. webgpu-playground webgpu-playground Public

   An live interactive playground for the new WebGPU API

   TypeScript 6 1

4. guptarohan3112/wacc-compiler guptarohan3112/wacc-compiler Public

   Compiler for the WACC language, written in Kotlin. Created by Rohan Gupta, Alex Usher, Apoorva Verma and Rahil Shah as part of the Second Year Computing Course

   Kotlin 1 1

5. lagercat/genetic_stocks lagercat/genetic_stocks Public

   Genetic Algorithm which optimises hyper parameters of MLP Neural Networks that predict closing prices

   C 1

6. alex-usher.github.io alex-usher.github.io Public

   The repository containing the source code for my github.io page

   HTML