Beast code in Giters

Nis Wegmann's repositories

SIMD optimised library for matrix inversion of 2x2, 3x3, and 4x4 matrices.

Language:CCC0-1.090 6 1

Language:Objective-C14 5 1

A C99-backend for Copilot

Language:HaskellNOASSERTION500

Language:HaskellNOASSERTION500

Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.

Language:HaskellNOASSERTION400

cbmc based tool for verifying copilot programs

Language:HaskellNOASSERTION200

Haskell framework for 32-bit non-cryptographic hashing using MurmurHash3.

Language:HaskellNOASSERTION200

Small header-only C++ library for real-time sample rate conversion with a fractional ratio.

Language:C++CC0-1.02 10

The currently unused intermediate representation for CoPilot based on GADTs.

Language:HaskellNOASSERTION100

Difference texts

Language:HaskellNOASSERTION100

A pretty-printer

Language:HaskellNOASSERTION100

A small header-only C++ library for cutting buffers into slices that are multiples of a fixed block size.

Language:C++CC0-1.0000

000

A Revised SDK for Unity Native Audio Plug-ins

Language:C++MIT000