Pinned Repositories
godot
Godot Engine – Multi-platform 2D and 3D game engine
Console
M4R
Lean4 algebra library for formalising theorems from "Commutative Ring Theory" by H. Matsumura.
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.
Hop311's Repositories
Hop311/M4R
Lean4 algebra library for formalising theorems from "Commutative Ring Theory" by H. Matsumura.
Hop311/Console
Hop311/map-engine
Hop311/Open-V2
Hop311/project1
Hop311/project2
Hop311/project3
Hop311/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®
Hop311/Vic2Modding
Victoria 2 defines parser, intended as a modding tool, made in C using WIN32.