Stars
Comptime brings meta-programming capabilities to C#, enabling compile-time code generation and evaluation.
Official git repository for libdivide: optimized integer division
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
develop an acceptable solution for a file containing many quadratic equation records.
Infer.NET is a framework for running Bayesian inference in graphical models
AMD TCPDirect ultra low latency kernel bypass TCP and UDP implementation for AMD Solarflare network adapters, to be used with corresponding versions of Onload®️ at https://github.com/Xilinx-CNS/onl…
Linux Transport for Kestrel
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.
Dafny is a verification-aware programming language
Automatically exported from code.google.com/p/netmap
Human-friendly, hierarchical and serializable state machines for games and apps in C#.
Papers from the computer science community to read and discuss.
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.
A high performance implementation of Mediator pattern in .NET using source generators.
Generates reference assemblies where all the internal types & members become public, and applies the IgnoresAccessChecksTo attribute
Faster.Map — A blazing-fast, memory-efficient HashMap library for .NET. Featuring SIMD-optimized DenseMap, lock-free CMap, and high-performance BlitzMap implementations designed for extreme speed, …
ANS(Accelerated Network Stack) on DPDK, DPDK native TCP/IP stack.
Stack only json deserialization using generators and the System.Text.Json library
High performance, thread-safe in-memory caching primitives for .NET