Pinned Repositories
camfort
Light-weight verification and transformation tools for Fortran
binrep
Useful, efficient, precise binary schema modelling in Haskell
bytepatch
Patch data (text, bytes, assembly) in a file using a convenient, flexible schema
bytezap
Bytestring builder with zero intermediate allocation
generic-data-functions
Familiar functions lifted to generic Haskell data types
gtvm-hs
Reversing tools for manipulating Golden Time: Vivid Memories game assets
rerefined
Refinement types in Haskell, again
strongweak
Convert between strong and weak representations of types
symparsec
Type level string parser combinators
webtoon-dl
raehik's Repositories
raehik/binrep
Useful, efficient, precise binary schema modelling in Haskell
raehik/gtvm-hs
Reversing tools for manipulating Golden Time: Vivid Memories game assets
raehik/strongweak
Convert between strong and weak representations of types
raehik/symparsec
Type level string parser combinators
raehik/bytepatch
Patch data (text, bytes, assembly) in a file using a convenient, flexible schema
raehik/bytezap
Bytestring builder with zero intermediate allocation
raehik/mt19937-hs
Efficient MT19937 (standard 32-bit Mersenne Twister PRNG) implementation in pure Haskell
raehik/rerefined
Refinement types in Haskell, again
raehik/dotfiles
those dotfiley things
raehik/generic-data-functions
Familiar functions lifted to generic Haskell data types
raehik/nixos-cfgs
my NixOS system configs
raehik/carpentriesoffline-installer
Tools for configuring a Raspberry Pi to serve offline carpentry lessons.
raehik/defun
Defunctionalization helpers
raehik/frkps2-hs
Reversing tools for the PS2 game Fuuraiki (2006)
raehik/generic-type-asserts
Structural assertions on generic data representations
raehik/generic-type-functions
Familiar functions lifted to type-level functions on generic types
raehik/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
raehik/mason
fleet-footed ByteString builder
raehik/nixpkgs
Nix Packages collection
raehik/nur-packages
raehik's NUR repo
raehik/primitive
This package provides various primitive memory-related operations.
raehik/pyqg
Quasigeostrophic model in python
raehik/refined
Refinement types with static checking
raehik/singleraeh
raehik's singletons
raehik/stackage
"Stable Hackage": vetted consistent packages from Hackage
raehik/streampatch
Patch data in a stream
raehik/type-level-bytestrings
Tools for manipulating type-level bytes and bytestrings
raehik/type-level-show
Utilities for writing Show-like type families
raehik/typeably
DerivingVia Typeable counterpart to Generically
raehik/union
Extensible type-safe unions for Haskell