hacklex's repositories
kohctpyktop
A famous game remake for WPF
AbstractMathTypes
Most basic abstract algebra types
FiniteGroupCalc
Simple Finite Group Processing Framework
atom-fstar
Syntax highlighting for F* in Atom Editor
avalonia-dotnet-templates
Avalonia Templates for `dotnet new`
CSharpEditor
A C# source code editor with syntax highlighting, intelligent code completion and real-time compilation error checking
d2dx
D2DX is a complete solution to make Diablo II run well on modern PCs, with high fps and better resolutions.
dotnet-api-docs
.NET API reference documentation (.NET 5+, .NET Core, .NET Framework)
float-info
System.Single (float) Next/Prev values, margins for given points, etc
FStar
A Proof-oriented Programming Language
fstar-mode.el
Emacs support for F*
FStarBisect
Bisect F* module to pinpoint the parser error in parser's stead :)
FStarTypeclassesSandbox
Sandbox to play with typeclasses in FStar
GeneralizedClassicalLogic
Generalized classical algebra of logical propositions
HotkeyHelper
Simple keyboard macroing platform
language-csharp
C# language support for Atom
OpenRA
Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.
Perspex
A multi-platform .NET UI framework.
WpfContextMenuBug
Minimal reproduction of what seems to be a XAML compiler bug