-
runtime Public
Forked from dotnet/runtime.NET is a cross-platform runtime and libraries, for cloud, IoT and desktop apps. It includes a garbage collector, JIT compiler, primitive data types and class libraries.
C# MIT License UpdatedDec 12, 2025 -
Fuzzlyn Public
Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.
-
arcade Public
Forked from dotnet/arcadeTools that provide common build infrastructure for multiple .NET Foundation projects.
C# MIT License UpdatedApr 25, 2025 -
runtimelab Public
Forked from dotnet/runtimelabThis repo is for experimentation and exploring new ideas that may or may not make it into the main dotnet/runtime repo.
MIT License UpdatedApr 23, 2025 -
-
pool-monitor Public
Forked from thomaschrstnsn/pool-monitorRust Apache License 2.0 UpdatedAug 24, 2024 -
-
dotnet-performance Public
Forked from dotnet/performanceThis repo contains benchmarks used for testing the performance of all .NET Runtimes
F# MIT License UpdatedJul 18, 2024 -
-
-
-
perfview Public
Forked from microsoft/perfviewPerfView is a CPU and memory performance-analysis tool
C# MIT License UpdatedFeb 6, 2023 -
-
-
Mono open source ECMA CLI, C# and .NET implementation.
C# Other UpdatedJul 6, 2021 -
-
concordium-rust-smart-contracts Public
Forked from Concordium/concordium-rust-smart-contractsStandard library for writing smart contracts for the Concordium blockchain.
Rust Mozilla Public License 2.0 UpdatedMay 11, 2021 -
-
-
ConCert Public
Forked from AU-COBRA/ConCertA framework for smart contract verification in Coq
Coq MIT License UpdatedApr 7, 2021 -
recastnavigation Public
Forked from recastnavigation/recastnavigationNavigation-mesh Toolset for Games
-
metacoq Public
Forked from MetaRocq/metarocqMetaprogramming in Coq
Coq MIT License UpdatedFeb 16, 2021 -
-
-
ImGui.NET Public
Forked from ImGuiNET/ImGui.NETAn ImGui wrapper for .NET.
-
Coroutines Public
Coroutine implementation using the async/await machinery in C#
-
cimgui Public
Forked from cimgui/cimguic-api for imgui (https://github.com/ocornut/imgui)
Lua MIT License UpdatedMar 28, 2020 -
coq-record-update Public
Forked from tchajed/coq-record-updateLibrary to create Coq record update functions
Coq MIT License UpdatedFeb 3, 2020 -
name-the-biggest-number Public
Forked from codyroux/name-the-biggest-numberCoq MIT License UpdatedJan 6, 2020 -
coreclr Public
Forked from dotnet/coreclrThis repo contains the .NET Core runtime, called CoreCLR. It is an execution engine for .NET apps, performing functions such as IL byte code loading, compilation to machine code and garbage collect…
C# MIT License UpdatedNov 27, 2019
{{ message }}