Hjalte Sorgenfrei Mac Dalland's repositories
Vulkanologi
A Homemade game engine written in C++23 with Vulkan
forgotten_legends
Forgotten Legends. 8-Bit Coop Roguelike
Language:Python000
Language:Python000
Language:CMakeMIT000
Language:C++000
Language:G-code000
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
LGPL-2.1000
csharp-language-server
Roslyn-based LSP language server for C#
Language:F#MIT000
dot-net-profiler-template
This can be used as a starting point for an own .net profiler using the Profiling API in C++
Language:C++MIT000
Language:Vim Script000
forgotten
Stuff i cant remember
000
Language:CMakeMIT000
Hjaltesorgenfrei
Profile description
000
Hjaltesorgenfrei.github.io
My Project Website
Language:HTML000
Language:C++000
Kat
Kattis shell for getting examples, testing and submitting.
Language:Python000
library-org
Organizational system for a library
Language:PythonMIT000
Language:C++000
Language:Python000
Language:Kotlin000
SimpleRenderEngineProject
Small C++17 render engine with dependencies
Language:C++MIT000
Language:C++000
tachiyomi-extensions
Source extensions for the Tachiyomi app.
Apache-2.0000
Language:C++000
VulkanTutorial
Tutorial for the Vulkan graphics and compute API
Language:C++000
000