Pinned Repositories
copilot-c99
A C99-backend for Copilot
copilot-cbmc
cbmc based tool for verifying copilot programs
copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
copilot-core-gadt
The currently unused intermediate representation for CoPilot based on GADTs.
copilot-discussion
copilot-language
H264Streamer
murmurhash3
Haskell framework for 32-bit non-cryptographic hashing using MurmurHash3.
Resampler
Small header-only C++ library for real-time sample rate conversion with a fractional ratio.
small-matrix-inverse
SIMD optimised library for matrix inversion of 2x2, 3x3, and 4x4 matrices.
niswegmann's Repositories
niswegmann/small-matrix-inverse
SIMD optimised library for matrix inversion of 2x2, 3x3, and 4x4 matrices.
niswegmann/H264Streamer
niswegmann/copilot-c99
A C99-backend for Copilot
niswegmann/copilot-language
niswegmann/copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
niswegmann/copilot-discussion
niswegmann/copilot-cbmc
cbmc based tool for verifying copilot programs
niswegmann/murmurhash3
Haskell framework for 32-bit non-cryptographic hashing using MurmurHash3.
niswegmann/Resampler
Small header-only C++ library for real-time sample rate conversion with a fractional ratio.
niswegmann/copilot-core-gadt
The currently unused intermediate representation for CoPilot based on GADTs.
niswegmann/dtext
Difference texts
niswegmann/pp
A pretty-printer
niswegmann/BufferSlicer
A small header-only C++ library for cutting buffers into slices that are multiples of a fixed block size.
niswegmann/markdown-test
niswegmann/NativeAudioPluginsV2
A Revised SDK for Unity Native Audio Plug-ins