twofx Goto Github PK

abschlussaufgaben-tests1

Sammlung von Tests für die Abschlussaufgabe, die die gesamte Nutzerinteraktion testen

abschlussaufgaben-tests2

Tests für die zweite Abschlussaufgabe

aoc2019

aoc2021

aoc2022

chaoskits

Team Contest Reference and additional material for Team ChaosKITs

datastructures

dicegame

dotnet-docker

This repo contains the base Docker images for working with .NET Core and the .NET Core Tools.

embeddingtheorem

A lecture on a proof of the Freyd-Mitchell Embedding Theorem

ezkey

A C#.NET/WPF application for live streamers of real time strategy games to visualize their keyboard usage

firework-engine

A C# class library that can be used to make console based games

haikuports

Software ports for the Haiku operating system.

hashmap

huffmanencoding

Huffman Encoding in C#

joules-utils

Custom API for Nightbot

lean

Lean Theorem Prover

lean-dpll

A formally verified implementation of the DPLL algorithm

lean-homological-algebra

Lean formalizations of things loosely related to homological algebra

lean-logic

lean4-afl

Various scripts and data files I use to test Lean 4 using AFL

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

leanprover-contrib

lect

Tool for organizing lecture notes

lernzettel

llvmtypeid

A convenient way of generating an llvm::Type

malom2morris

Dieses Repository enthält eine modifizierte Version des Quellcodes von Malom3 sowie die Malom2Morris-Brücke

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

merlin-hunt

A puzzle hunt for people who know how to program

mitschriebwiki

Source for http://mitschriebwiki.nomeata.de/