gordon-sau Goto Github PK

4d-immersive-surgery-2022

antons_opengl_tutorials_book

Anton's OpenGL 4 Tutorials book - Demo Code

austral

Systems language with linear types and capability-based security.

break-nerdle

get the answer of Nerdle

cakeml

CakeML: A Verified Implementation of ML

comp3151-assn2

comp3331-assignment

comp9315-ass2

hol

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

inheritance-in-c

minhs_tyinfer

multiple-dispatch

implement Multiple Dispatch in Python (works with inheritance in a predictable way)

polysemycleanarchitecture

Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.

projects-2022-technical-screening

Easy and Hard technical challenge for 2022 projects applications

proofs

Some proofs in HOL and Dafny

pure

A verified compiler for a lazy functional language

randomshuffle

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

sanandreasunity

Open source reimplementation of GTA San Andreas game engine in Unity

simple_forum

a simple forum app

sudoku_generator

A Sudoku Generator written in C

sushiswap

Sushiswap smart contracts 🍣 📝

trees

Practices for tree like data structures in the holiday

uniswap-v1

🐍Uniswap V1 smart contracts

uniswap-v2-core

🎛 Core smart contracts of Uniswap V2

uniswap-v2-periphery

🎚 Peripheral smart contracts for interacting with Uniswap V2

uniswapv2-simulator

vr-pointer

vr-simplepointer

Template project for Simple Pointer series.