dafny
Dafny is a verification-aware programming language
HYSEN LABS DIRECTORY
Language tag · curated repositories and deep analysis.
Dafny is a verification-aware programming language
A cross-platform plotting library for .NET
The Open Toolkit library is a fast, low-level C# wrapper for OpenGL, OpenAL & OpenCL. It also includes windowing, mouse, keyboard and joystick input and a robust and fast math library, giving you everything you need to write your own renderer or game engine. OpenTK can be used standalone or inside a GUI on Windows, Linux, Mac.
AutoFixture is an open source library for .NET designed to minimize the 'Arrange' phase of your unit tests in order to maximize maintainability. Its primary goal is to allow developers to focus on what is being tested rather than how to setup the test scenario, by making it easier to create object graphs containing test data.
Blazorise is a component library built on top of Blazor with support for CSS frameworks like Bootstrap, Tailwind, Bulma, AntDesign, and Material.
Project brief: A practical .NET architecture guide that connects modular monoliths, microservices, domain-driven design, and common architecture patterns with concrete migration examples for evolving systems.
AutoUpdater.NET is a class library that allows .NET developers to easily add auto update functionality to their classic desktop application projects.
An unofficial .Net wrapper for the Discord API (https://discord.com/)
Fluent migrations framework for .NET
Open source recreation of Daggerfall in the Unity engine
.NET project templates with batteries included, providing the minimum amount of code required to get you going faster.
Roslynator is a set of code analysis tools for C#, powered by Roslyn.
Verify is a snapshot testing tool that simplifies the assertion of complex data models and documents.
.NET Transactional Document DB and Event Store on PostgreSQL
Context Menu Manager Plus 是一个强大的实用程序,它可帮助您管理 Windows 上的右键菜单,并避免第三方向你的右键菜单里塞屎
Example content for Unity projects based on AR Foundation
Steam depot downloader utilizing the SteamKit2 library.
C# application to switch default playing device. Download: https://soundswitch.aaflalo.me/
A OneNote add-in with simple, yet powerful and useful features
Tools and libraries to glue C/C++ APIs to high-level languages