Hop311

M4R

Lean4 algebra library for formalising theorems from "Commutative Ring Theory" by H. Matsumura.

Console

map-engine

Open-V2

project1

project2

project3

SigSRF_SDK

EdgeStream™ and SigSRF streaming resource functions (SRF) software description, reference apps, demos, source codes, and SDK for telecom media, lawful intercept, speech recognition, and HPC applications. Supports hardware accelerators when combined with DirectCore®

Vic2Modding

Victoria 2 defines parser, intended as a modding tool, made in C using WIN32.