Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by TwoFX

A curated list of projects in awesome lists by TwoFX .

https://github.com/twofx/sudoku

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

Last synced: 06 Nov 2024

https://github.com/twofx/lean-homological-algebra

Lean formalizations of things loosely related to homological algebra

Last synced: 06 Nov 2024

https://github.com/TwoFX/lean-homological-algebra

Lean formalizations of things loosely related to homological algebra

Last synced: 09 Aug 2024

https://github.com/twofx/ezkey

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

Last synced: 06 Nov 2024

https://github.com/twofx/huffmanencoding

Huffman Encoding in C#

Last synced: 06 Nov 2024

https://github.com/twofx/malom2morris

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

Last synced: 06 Nov 2024

https://github.com/twofx/morris

.NET GUI for Nine Men's Morris

Last synced: 06 Nov 2024

https://github.com/twofx/abschlussaufgaben-tests1

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

Last synced: 06 Nov 2024

https://github.com/twofx/joules-utils

Custom API for Nightbot

Last synced: 06 Nov 2024

https://github.com/twofx/lean4-afl

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

afl lean4

Last synced: 06 Nov 2024

https://github.com/twofx/aoc2021

Last synced: 06 Nov 2024

https://github.com/twofx/llvmtypeid

A convenient way of generating an llvm::Type

Last synced: 06 Nov 2024

https://github.com/twofx/lernzettel

Last synced: 06 Nov 2024

https://github.com/twofx/orderedtree

Last synced: 06 Nov 2024

https://github.com/twofx/aoc2022

Last synced: 06 Nov 2024

https://github.com/twofx/lect

Tool for organizing lecture notes

Last synced: 06 Nov 2024

https://github.com/twofx/embeddingtheorem

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

category-theory mathematics

Last synced: 06 Nov 2024

https://github.com/twofx/abschlussaufgaben-tests2

Tests für die zweite Abschlussaufgabe

Last synced: 06 Nov 2024

https://github.com/twofx/firework-engine

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

Last synced: 06 Nov 2024

https://github.com/twofx/ten

.NET clone of a popular mobile game

Last synced: 06 Nov 2024

https://github.com/twofx/twofx

Last synced: 06 Nov 2024

https://github.com/twofx/lean-dpll

A formally verified implementation of the DPLL algorithm

Last synced: 06 Nov 2024

https://github.com/twofx/merlin-hunt

A puzzle hunt for people who know how to program

Last synced: 06 Nov 2024

https://github.com/twofx/supreme-pancake

Technical report on the architecture of the GUI of the Windows operating system

Last synced: 06 Nov 2024

https://github.com/twofx/neural-fs

Simple neural networks in F#

Last synced: 06 Nov 2024

https://github.com/twofx/aoc2019

Last synced: 06 Nov 2024

https://github.com/twofx/partiii

Lecture notes for Part III of the Mathematical Tripos

Last synced: 06 Nov 2024

https://github.com/twofx/lean-logic

Last synced: 06 Nov 2024

https://github.com/twofx/templatecs

C# boilerplate code for programming competitions

Last synced: 06 Nov 2024