hacklex Goto Github PK

abstractmathtypes

Most basic abstract algebra types

atom-fstar

Syntax highlighting for F* in Atom Editor

avalonia-dotnet-templates

Avalonia Templates for `dotnet new`

core2d

Data driven 2D diagram editor.

csharpeditor

A C# source code editor with syntax highlighting, intelligent code completion and real-time compilation error checking

cutecas

Abstract Algebra for FStar

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)

finitegroupcalc

Simple Finite Group Processing 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

kohctpyktop

A famous game remake for WPF

language-csharp

C# language support for Atom

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

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.

pekacity

2D game stub rendered completely in WPF

perspex

A multi-platform .NET UI framework.

phonewave

tmath

wpfcontextmenubug

Minimal reproduction of what seems to be a XAML compiler bug