natkarmios Goto Github PK

.dotfiles

autovoicechannel

Automatic voice channel management for Discord

basicwebapp

beam-interactive-python

beam-interactive-python-unofficial

An unofficial fork of Beam's interactive Python library

compcert

Fork of CompCert that extracts a specific set of modules useful for Gillian-C

debiancfg

dune-private-bug

A reproduction of a Dune bug with private packages

esy-gmp

[Fork] GMP packaged for esy

final-year-project-report

first_year_topics_website

A nice example of what can be made by inexperienced web devs in a short time span :)

gentype

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

gentype-wrong-import

gillian

The Gillian Platform main repository

gillian-debugger-presentation

A presentation on Gillian's debugger, made with React and reveal.js.

handyutils

A collection of utilities to make CS students' lives easier.

ic-first-year-notes

Notes for first year Computing at Imperial College London

ketodishes

Because if I'm going to do keto, then I'm going to bloody well do it organised.

markdownviewer

A quick and easy way to view a rendered version of a markdown document by URL.

modulo

A modular, pluggable, Discord bot platform in Kotlin

modulo-lampcontrol

A Modulo plugin for controlling smart light colour via Assisstant Relay

nat.karmios.com

My personal webpage.

odoc

Documentation compiler for OCaml and Reason

org-gcal-sync

A one-way event synchronisation tool from org-mode to Google Calendar

orgzly-android

Outliner for taking notes and managing to-do lists

orgzly-android-revived

Outliner for taking notes and managing to-do lists

orgzly-documentation

Orgzly Revived documentation

particlesimulations

Used as part of the CREST project by Nat Karmios, Nima Sahba, Carlos Barredo, and Lucas George.

pythontwitchbot

A Chat Bot for Twitch written in Python

quizzical