fyquah

hardcaml_zprize

Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and multi-scalar multiplications (MSM) in Hardcaml. Originally developed as submissions to the 2022 ZPrize competition.

hardcaml_arty

A hardcaml library to interface with arty boards

messenger-solitaire-bot

A bot to play solitaire in messenger

FPGA-passive-autofocus

A FPGA-implementation of Passive Autofocus

fpgaConvnetMaxeler

Running streaming-based Convolutional Neural Networks on maxeler DFE devices

bitcoin

Bitcoin Core integration/staging tree

ocaml

The core OCaml system: compilers, runtime system, base libraries

bril

an educational compiler intermediate representation

buffet

DSL for sequential hardware

circt

Circuit IR Compilers and Tools

cs6120

advanced compilers

empirical-market-microstructure

My maxima notebooks for solutions to empirical market microstructure by joel hasbrouck

examples

Reconfigure.io examples

fyp-experiments

fyp-ocaml

ocaml fork for my final year project

fyp-opam-repo-dev

fyp-worker-dispatcher

Main repo for my final year project.

gan-experiments

hpce-2017-cw5

Keras-GAN

Keras implementations of Generative Adversarial Networks.

langproc-2017-cw

opam-repo-dev

openai_lab

Original project here: http://kengz.me/openai_lab . This is an attempt to convert the implementations to pytorch, for self-education and experimentation.

pattern-rec-cw1

pixelcnn_keras

Keras implementation of Gated PixelCNN

rl-solitaire

rltf

Reinforcement Learning in Tensorflow and OpenAI gym

stable-tree-labeling

tensorflow-ocaml

OCaml bindings for TensorFlow

vim-monochrome

Monochrome color scheme for Vim