brunom
Follow
-
-
-
-
-
rocq Public
Forked from rocq-prover/rocqThe Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
OCaml GNU Lesser General Public License v2.1 UpdatedSep 15, 2025 -
-
coq-art Public
Forked from rocq-community/coq-artCoq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Coq MIT License UpdatedFeb 15, 2025 -
runtime Public
Forked from dotnet/runtime.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
C# MIT License UpdatedNov 17, 2024 -
-
-
-
oneVPL Public
Forked from intel/libvploneAPI Video Processing Library (oneVPL) dispatcher, tools, and examples
C++ MIT License UpdatedNov 14, 2022 -
oneAPI-spec Public
Forked from uxlfoundation/oneAPI-speconeAPI Specification source files
Python Other UpdatedSep 8, 2022 -
-
wpf Public
Forked from dotnet/wpfWPF is a .NET Core UI framework for building Windows desktop applications.
C# MIT License UpdatedJul 19, 2022 -
sql-docs Public
Forked from MicrosoftDocs/sql-docsTechnical documentation for Microsoft SQL Server, tools such as SQL Server Management Studio (SSMS) , SQL Server Data Tools (SSDT) etc.
PowerShell Creative Commons Attribution 4.0 International UpdatedJun 2, 2022 -
project-system Public
Forked from dotnet/project-systemThe .NET Project System for Visual Studio
C# MIT License UpdatedMar 21, 2022 -
-
win32 Public
Forked from MicrosoftDocs/win32Public mirror for win32-pr
PowerShell Creative Commons Attribution 4.0 International UpdatedMay 18, 2021 -
logging-log4net Public
Forked from apache/logging-log4netMirror of This is the Apache log4net logging project git repository.
C# Apache License 2.0 UpdatedApr 30, 2021 -
openvpn-build Public
Forked from OpenVPN/openvpn-buildOpenVPN Build
JavaScript UpdatedApr 21, 2021 -
sdk-api Public
Forked from MicrosoftDocs/sdk-apiPublic contributions for win32 API documentation
UpdatedSep 17, 2020 -
reflink Public
Forked from 0xbadfca11/reflinkreflink(1) for Windows
C++ MIT License UpdatedJun 12, 2020 -
git-subtrac Public
Forked from apenwarr/git-subtracKeep the content for your git submodules all in one place: the parent repo.
Go Apache License 2.0 UpdatedNov 11, 2019 -
corefx Public
Forked from dotnet/corefxCoreFX is the foundational class libraries for .NET Core. It includes types for collections, file systems, console, JSON, XML, async and many others.
C# MIT License UpdatedOct 30, 2019 -
EntityFrameworkCore Public
Forked from dotnet/efcoreEntity Framework Core is a lightweight and extensible version of the popular Entity Framework data access technology
C# Apache License 2.0 UpdatedOct 5, 2019 -
perfview Public
Forked from microsoft/perfviewPerfView is a CPU and memory performance-analysis tool
C# MIT License UpdatedMay 7, 2019 -
srt Public
Forked from Haivision/srtSecure, Reliable, Transport
C++ Mozilla Public License 2.0 UpdatedMar 15, 2019 -
interprocess Public
Forked from boostorg/interprocessBoost.org interprocess module
C++ UpdatedMar 5, 2019 -