jesyspa

linear-cpp

An attempt at a C++ tutorial.

master-thesis

kotlin

The Kotlin Programming Language.

computability-in-agda

A formalisation of computability theory in Agda.

labyrinth

A tool for generating mazes

polycat

A functional programming language that is automatically category-polymorphic

toy-stuff

Just some fun tidbits I put together.

directed-branching-bisimulation

Code for the paper "Directed branching bisimulation via apartness and positive logic" by Herman Geuvers and Anton Golov

agda-vim

Agda interaction in vim

BRiCk

Formalization of C++ for verification purposes.

codechef

Solutions to codechef contests

Conway-s-Game-Of-Life

Game of life, in C++ and SFML

coq-playground

Just random stuff that seems fun to formalise

intellij-plugins

Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform

jesyspa.github.io

Build a Jekyll blog in minutes, without touching the command line.

JudgeBot

A Discord bot to manage guild rules, infractions and punishments for guild members that don't play nicely.

jytest-vscode

Test extension to figure out why coq-lsp interacts poorly with vscodevim

kotlin-formver-demo

Repository for examples for Kotlin formal verification plugin demo

kotlin-playground

Random Kotlin stuff I want to try out

kotlin-scala-interop

kotlin-test-plugin

kotlin-wheels

Just a random kotlin util collection (now being used to test formal verification)

lojban-syntax-bot

A Discord bot for parsing Lojban sentences.

maze-generation

rebase-workflow-test

rust

Empowering everyone to build reliable and efficient software.

rust_puzzling

Just some utilities to solve programming problems in Rust

scala-viper-harness

Minimal project for writing and running Viper

spotify-player

A command driven spotify player

sudoku

A sudoku game where you have to prove that your deductions are valid