mjp41 Goto Github PK

ciissue

cmake_utils

Useful bits for CMake

coreclr

Blah

corefx

This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others.

corefxlab

This repo is for experimentation and exploring new ideas that may or may not make it into the main corefx repo.

cpp-docs

C++ Documentation

cpython

The Python programming language

deepbindexample

Example of interaction between RTLD_DEEPBIND and LD_PRELOAD

isoalloc

A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good performance

jemalloc

jstar-old

jStar is a verification tool based on separation logic.

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

mimalloc

mimalloc is a compact general purpose allocator with excellent performance.

mimalloc-bench

Suite for benchmarking malloc implementations.

mlir-www

openenclave

SDK for developing enclaves

pegmatite

A library for reusable parsers

rego-cpp

A C++ interpreter for the OPA policy language Rego

rust

Empowering everyone to build reliable and efficient software.

sdk-api

Public contributions for win32 API documentation

snmalloc

Message passing based allocator

snmalloc-rs

rust bindings of snmalloc

snmalloc_sample_project

Sample project using snmalloc

starling-tool

An automatic verifier for concurrent algorithms.

trieste

A term rewriting system for experimental programming language development.

verona

Research programming language for concurrent ownership

verona-rt

The runtime for the Verona project

verona_bigtable_test

Experiment to use Z3 for a layout component of the Verona Compiler. This has been published purely for shared debugging with Z3.

workaround8649

This is a workaround for the 8649 issue on github actions.

z3

The Z3 Theorem Prover