Cottand/serialization-js-1.4

Stars
1
Language
Kotlin
Created over 4 years ago
Updated over 4 years ago

Cottand/serialization-js-1.4

Cottand

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

leng

⚡ fast dns server, built to block advertisements and malware servers

selfhosted

My home-lab setup, a cluster of 7 servers running 50-70 containers

Confis

A framework for specifying and querying legal contracts

lemmy-on-nomad-examples

Nomad job files for running Lemmy

markov-lock-simulation

Simulation of a M/M/1/k State dependent Markovian Queue

Jupyter Notebook

Cottand

KEEP213-transpiler

A simple transpiler from Kotlin (as suggested in KEEP 213) to vanilla Kotlin (WIP)

kotlin-js-portfolio

My personal portfolio

KImage-recognition

Experiment where I build a CNN from scratch, mainly as a learning process to fundamentally understand the math behind neural nets (WIP!)

multi-paxos

Implementation of Multi-Paxos, a consensus algorithm, following the paper "Paxos Made Moderately Complex" by Robbert van Renesse and Deniz Altınbüken.

hash2slash

Tiny Nix utility to write nix shell scripts for `//` languages

SmartContractsWebDev

1st year website project

WACC

Toy compiler for a toy language with two backends (ARM and JVM) implemented in Kotlin

haskellTemp

Pet haskell directory where I can easily try things out. Also a template to set up a Stack environment that works well with IDEA

refereneceWacc4jvm

JVM API for the reference compiler and emulator for Imperial College's reference WACC compiler.

checkm8-public

Our solution the Imperial Colellege Computing dept. first year end of year project, an ARM emulator and assembler, along with its extension, an autonomous chess player powered by computer vision and AlphaZero