kkd26 Goto Github PK

16puzzle

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

algorithms_and_datastructures

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

basicshop

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

cam

Categorical Abstract Machine: Theory, Formalisation, Extensions

chessington-js

Starter project for a chess-based TDD exercise

chesstests

create-quick-template

Project template manager and from-template creator.

cryptohack

Solutions to cryptohack exercises

denotationalsemantics

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.

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.

finite-automata-compiler

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

logic_and_proof

Simple logic evaluator and prover

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.

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

A C++ programming course materials

programming_classes_2021

semantics-and-typing

Collection of simple toy languages written in OCaml

sifun

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

softwire-training

sussex-sport

types