Skip to content
View hacklex's full-sized avatar
16 followers · 0 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report hacklex

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • Vinifera Public

    Forked from Vinifera-Developers/Vinifera

    Vinifera is a C&C: Tiberian Sun engine extension implementing new logics and fixing bugs.

    C++ GNU General Public License v3.0 Updated Oct 9, 2024

  • ColorSpaces Public

    Color Space Utilities for C#

    C# MIT License Updated Oct 9, 2024

  • FiniteGroupCalc Public

    Simple Finite Group Processing Framework

    C# 1 MIT License Updated Mar 26, 2024

  • CuteCAS Public

    Abstract Algebra for FStar

    F* 7 1 Updated Dec 1, 2023

  • CSharpEditor Public

    Forked from arklumpus/CSharpEditor

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

    C# GNU General Public License v3.0 Updated Jun 18, 2023

  • tmath Public

    Forked from suhr/tmath
    Lean Updated Mar 29, 2023

  • avalonia-dotnet-templates Public

    Forked from AvaloniaUI/avalonia-dotnet-templates

    Avalonia Templates for `dotnet new`

    C# 1 Updated Mar 3, 2023

  • HotkeyHelper Public

    Simple keyboard macroing platform

    C# Updated Feb 13, 2023

  • FStar Public

    Forked from FStarLang/FStar

    A Proof-oriented Programming Language

    F* Apache License 2.0 Updated Jan 20, 2023

  • kohctpyktop Public

    A famous game remake for WPF

    C# 23 1 Updated Dec 8, 2022

  • PhoneWave Public

    Forked from kekekeks/PhoneWave
    C# Updated Nov 8, 2022

  • Perspex Public

    Forked from AvaloniaUI/Avalonia

    A multi-platform .NET UI framework.

    C# MIT License Updated Nov 2, 2022

  • dotnet-api-docs Public

    Forked from dotnet/dotnet-api-docs

    .NET API reference documentation (.NET 5+, .NET Core, .NET Framework)

    C# Other Updated Sep 19, 2022

  • fstar-mode.el Public

    Forked from FStarLang/fstar-mode.el

    Emacs support for F*

    Emacs Lisp Apache License 2.0 Updated Jul 25, 2022

  • AbstractMathTypes Public

    Most basic abstract algebra types

    F# 10 1 Updated Jul 5, 2022

  • GeneralizedClassicalLogic Public

    Generalized classical algebra of logical propositions

    F* Updated Mar 23, 2022

  • FStarTypeclassesSandbox Public

    Sandbox to play with typeclasses in FStar

    F* Updated Mar 22, 2022

  • FStarBisect Public

    Bisect F* module to pinpoint the parser error in parser's stead :)

    C# Updated Jan 30, 2022

  • linguist Public

    Forked from github-linguist/linguist

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

    Ruby 1 MIT License Updated Oct 4, 2021

  • atom-fstar Public

    Forked from FStarLang/atom-fstar

    Syntax highlighting for F* in Atom Editor

    Shell Apache License 2.0 Updated Oct 2, 2021

  • d2dx Public

    Forked from bolrog/d2dx

    D2DX is a complete solution to make Diablo II run well on modern PCs, with high fps and better resolutions.

    C++ GNU General Public License v3.0 Updated Aug 29, 2021

  • WpfContextMenuBug Public

    Minimal reproduction of what seems to be a XAML compiler bug

    C# Updated Dec 15, 2019

  • language-csharp Public

    Forked from atom/language-csharp

    C# language support for Atom

    Python Other Updated Apr 26, 2018

  • float-info Public

    System.Single (float) Next/Prev values, margins for given points, etc

    C# Updated Nov 26, 2016

  • PekaCity Public

    2D game stub rendered completely in WPF

    C# 3 Updated Feb 18, 2016

  • OpenRA Public

    Forked from OpenRA/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.

    C# GNU General Public License v3.0 Updated Nov 17, 2015

  • Core2D Public

    Forked from wieslawsoltes/Core2D

    Data driven 2D diagram editor.

    C# MIT License Updated Nov 11, 2015