kkd26

SiFun

Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher-Rank Polymorphism).

cryptohack

Solutions to cryptohack exercises

16puzzle

This is a more advanced version of popular game 15 puzzle created with React.js.

basicShop

Basic shop written in express js, node js and react js

finite-automata-compiler

Basic implementation of Finite Automaton (DFA, NFA) with for basic compiler written in OCaml.

Programming_classes

A C++ programming course materials

sussex-sport

Algorithms_and_Datastructures

A small set of algorithms, data structures and coding techniques.

cam

Categorical Abstract Machine: Theory, Formalisation, Extensions

chessington-js

Starter project for a chess-based TDD exercise

chessTests

DroneProject

Project conducted by a group of students from University of Cambridge. Created a Drone App which enabled to control a drone and take fancy camera shots and videos.

Machine-Learning-and-Real-world-Data

This is a course taught at University of Cambridge. I want to present my implementations of the machine learning and data analysis algorithms.

create-quick-template

Project template manager and from-template creator.

DenotationalSemantics

DroneProjectROS

DroneProjectWebApp

The webapp supporting the main group project, which can be found here: https://github.com/kkd26/DroneProject

EarleyParser

A complete Earley Parser for Context Free Grammar written with OCaml using monadic style.

logic_and_proof

Simple logic evaluator and prover

mars-api

mars-ui

MarsAppSPA

opam-repository

Main public package repository for opam, the source package manager of OCaml.

PhotoSyncAndroid

Mobile App for photo cloud with underlying local storage

PhotoSyncServer

Docker containers for nginx and node servers

Programming_classes_2021

semantics-and-typing

Collection of simple toy languages written in OCaml

softwire-training

types