Berk Özkütük's starred repositories
lanzaboote
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
lambda-8cc
x86 C compiler written in untyped lambda calculus
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
haskell-tools.nvim
🦥 Supercharge your Haskell experience in neovim!
hs-opt-handbook.github.io
The Haskell Optimization Handbook
lambda-n-ways
Benchmarks for capture-avoiding substitution
logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
haskell-optimization
A beginner's guide to Haskell optimization
cabal-audit
audit your cabal projects for haskell-specific security-advisories
typefuck-haskell
Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
WasmCert-Isabelle
A mechanisation of Wasm in Isabelle.
isabelle-lambda-calculus
A formal definition and verification of System F. To be extended to System Fc
PeepingTom
A virtual memory scanner