Skip to content
View raehik's full-sized avatar
🈁
λ
🈁
λ
80 followers · 115 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@readingschool @readingschool-cs-club @haskell-cryptography

Block or report raehik

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • binrep-instances Public

    Haskell MIT License Updated Mar 11, 2025

  • binrep Public

    Useful, efficient, precise binary schema modelling in Haskell

    serialization haskell binary-data reverse-engineering
    Haskell 14 1 MIT License Updated Mar 11, 2025

  • nixos-cfgs Public

    my NixOS system configs

    Nix 2 Updated Mar 6, 2025

  • heystone Public

    Haskell bindings for the Keystone assembler framework

    Haskell GNU General Public License v2.0 Updated Feb 17, 2025

  • refined Public

    Forked from nikita-volkov/refined

    Refinement types with static checking

    Haskell MIT License Updated Nov 15, 2024

  • rerefined Public

    Refinement types in Haskell, again

    Haskell 4 MIT License Updated Oct 24, 2024

  • strongweak Public

    Convert between strong and weak representations of types

    Haskell 9 MIT License Updated Oct 17, 2024

  • gtvm-hs Public

    Reversing tools for manipulating Golden Time: Vivid Memories game assets

    Haskell 8 1 MIT License Updated Oct 17, 2024

  • stackage Public

    Forked from commercialhaskell/stackage

    "Stable Hackage": vetted consistent packages from Hackage

    Dockerfile MIT License Updated Oct 13, 2024

  • type-level-bytestrings Public

    Tools for manipulating type-level bytes and bytestrings

    Haskell MIT License Updated Oct 12, 2024

  • symparsec Public

    Type level string parser combinators

    Haskell 8 1 MIT License Updated Oct 12, 2024

  • type-level-show Public

    Utilities for writing Show-like type families

    Haskell MIT License Updated Oct 12, 2024

  • singleraeh Public

    raehik's singletons

    Haskell MIT License Updated Oct 12, 2024

  • bytezap Public

    Bytestring builder with zero intermediate allocation

    Haskell 3 MIT License Updated Sep 28, 2024

  • defun Public

    Forked from phadej/defun

    Defunctionalization helpers

    Haskell Other Updated Sep 25, 2024

  • union Public

    Forked from int-index/union

    Extensible type-safe unions for Haskell

    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 10, 2024

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix MIT License Updated Aug 13, 2024

  • bytepatch Public

    Patch data (text, bytes, assembly) in a file using a convenient, flexible schema

    json haskell binary-data reverse-engineering patching
    Haskell 3 MIT License Updated Aug 11, 2024

  • streampatch Public

    Patch data in a stream

    Haskell MIT License Updated Jul 31, 2024

  • mt19937-hs Public

    Efficient MT19937 (standard 32-bit Mersenne Twister PRNG) implementation in pure Haskell

    Haskell 3 MIT License Updated Jul 15, 2024

  • generic-data-functions Public

    Familiar functions lifted to generic Haskell data types

    Haskell 2 MIT License Updated Jun 15, 2024

  • typeably Public

    DerivingVia Typeable counterpart to Generically

    Nix MIT License Updated Apr 22, 2024

  • generic-type-functions Public

    Familiar functions lifted to type-level functions on generic types

    Nix MIT License Updated Apr 14, 2024

  • generic-type-asserts Public

    Structural assertions on generic data representations

    Haskell MIT License Updated Apr 13, 2024

  • frkps2-hs Public

    Reversing tools for the PS2 game Fuuraiki (2006)

    Haskell MIT License Updated Apr 11, 2024

  • primitive Public

    Forked from haskell/primitive

    This package provides various primitive memory-related operations.

    Haskell Other Updated Mar 11, 2024

  • nur-packages Public

    raehik's NUR repo

    Nix MIT License Updated Mar 11, 2024

  • dotfiles Public

    those dotfiley things

    dotfiles
    Shell 2 MIT License Updated Feb 29, 2024

  • granule Public

    Forked from granule-project/granule

    A statically-typed linear functional language with graded modal types for fine-grained program reasoning

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 2, 2024

  • mason Public

    Forked from fumieval/mason

    fleet-footed ByteString builder

    Haskell BSD 3-Clause "New" or "Revised" License Updated Nov 23, 2023