Discover @Cottand Open Source projects

Nico D'Cotta (@Cottand)

Cottand

Stars
86
Global Rank 231,664 (Top 8 %)
Followers 13
Following 10
Registered about 6 years ago
Most used languages

Kotlin
31.3 %

HCL 12.5 %

Elixir
6.3 %

C
6.3 %

Haskell
6.3 %

TeX
6.3 %

ANTLR 6.3 %

Go
6.3 %

Nix
6.3 %

Jupyter Notebook
6.3 %

HTML
6.3 %
Location 🇬🇧 United Kingdom
Country Total Rank 21,858
Country Ranking

ANTLR 20

Nix
161

HCL 202

Elixir
295

Kotlin
527

Go
528

Haskell
614

TeX
625

Jupyter Notebook
4,142

C
5,207

HTML
8,810

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

serialization-js-1.4

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