giomasce

mmpp

Metamath in C++

asmc

wotsap

Web of trust statistics and pathfinder

aem

aem

googledriveannex

backward-cpp

A beautiful stack trace pretty printer for C++

cie-middleware-linux

Middleware della CIE (Carta di Identità Elettronica) per Linux

codenames

Small script to play Codenames if you do not have the cards at hand

config

Boost.org config module

debian-ssh

A docker repository to SSH in a Debian container

dxvk

Vulkan-based implementation of D3D9, D3D10 and D3D11 for Linux / Wine

FEX

A fast usermode x86 and x86-64 emulator for Arm64

Flex

The minimalist Pelican theme.

gcanteen

gCanteen

glCapsViewer

C++ port of the OpenGL hardware capability viewer

locale

Boost.Locale

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

mautic

Mautic: Open Source Marketing Automation Software.

mm0

Metamath Zero specification language

multiprecision

Boost.Multiprecision

panda

Platform for Architecture-Neutral Dynamic Analysis

pelican-comments

Static comments plugin for Pelican

remote-docker

sdk-api

Public contributions for win32 API documentation

set.mm

Metamath source file for logic and set theory

single_cream

single file scheme interpreter with tail call optimization

StaMPS

Stanford Method for Persistent Scatterers

test

The reference C++ unit testing framework (TDD, xUnit, C++03/11/14/17)

vkd3d-proton

Fork of VKD3D. Development branches for Proton's Direct3D 12 implementation.