Pinned Repositories
camfort
Light-weight verification and transformation tools for Fortran
gz21_ocean_momentum
Stochastic-Deep Learning Parameterization of Ocean Momentum Forcing
bashplate
A very simple Bash template/framework intended for shortening simple (<100 lines) or one-time Bash scripts.
binrep
Useful, efficient, precise binary schema modelling in Haskell
bytepatch
Patch data (text, bytes, assembly) in a file using a convenient, flexible schema
dotfiles
those dotfiley things
gtvm-hs
Reversing tools for manipulating Golden Time: Vivid Memories game assets
mt19937-hs
Efficient MT19937 (standard 32-bit Mersenne Twister PRNG) implementation in pure Haskell
strongweak
Convert between strong and weak representations of types
webtoon-dl
raehik's Repositories
raehik/binrep
Useful, efficient, precise binary schema modelling in Haskell
raehik/strongweak
Convert between strong and weak representations of types
raehik/bytepatch
Patch data (text, bytes, assembly) in a file using a convenient, flexible schema
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/bytezap
Bytestring builder with zero intermediate allocation
raehik/cabal2nix
Generate Nix build instructions from a Cabal file
raehik/carpentriesoffline-installer
Tools for configuring a Raspberry Pi to serve offline carpentry lessons.
raehik/convection-parameterization-in-CAM
Deployment of the convection parameterization scheme (previously from within SAM) deployed into the CAM model
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/gz21
raehik/mason
fleet-footed ByteString builder
raehik/ml-training-material
Training material on ML for ICCS Summer School
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/ss23-git
Repository for the GitHub talk in ICCS Summer School '23.
raehik/ss23-git-3
Repository for the GitHub talk in ICCS Summer School '23.
raehik/ss23-hf
TODO main repo for ppl to fork
raehik/ss23-test
raehik/symbol-parser
Type level string parser combinators
raehik/type-level-bytestrings
Tools for manipulating type-level bytes and bytestrings
raehik/typeably
DerivingVia Typeable counterpart to Generically