Starred repositories
Formalised complexity proof for "Efficient CHAD" in Agda
Formalised complexity proof for "Efficient CHAD" in Agda
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation
Benchmark of LLMs on real open-source projects against dependency hell, legacy toolchains, and complex build systems.
Stable Haskell package sets: vetted consistent packages from Hackage
Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Check satisfiability of expressions on natural numbers
A type theory implementation grown from a demo project for debruijn package.
Research language for array processing in the Haskell/ML family
Fine-tunes a student LLM using teacher feedback for improved reasoning and answer quality. Implements GRPO with teacher-provided evaluations.
Operators generator for Я written in Я itself
Public repository for Remnants of the Precursors
This work has been supported in part by funding from the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur).
Pure implementation of tensors, intended to be used as a model in tests
This is a OpenXcom version based on Brutal AI (which is based on OXCE)
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.