Skip to content
View jacobhenn's full-sized avatar
💭
hurtling through time
💭
hurtling through time

Block or report jacobhenn

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
jacobhenn/README.md

All subjects intending to handle high-energy gamma leaking portal technology must be informed that they may be informed of applicable regulatory compliance issues. No further compliance information is required, or will be provided, and you are an excellent test subject!

  • i'm proficient in
    • type theory
    • Rust
    • Haskell
    • Linux
    • toki pona
  • i like making
    • command-line utilities
    • TUI programs
    • parsers
    • stuff involving math
  • stuff i use that you may not have heard of

Pinned Loading

  1. kwed kwed Public

    minimalist proof assistant based on the Calculus of Inductive Constructions

    Rust

  2. guac guac Public

    modal TUI RPN calculator that knows algebra

    Rust 6

  3. buzzer buzzer Public

    simple Rust web server for single-session jeopardy-style buzzer tracking

    Rust

  4. flare flare Public

    dead simple TUI flashcards

    Rust

  5. aocutil aocutil Public

    utilities for Advent of Code

    Rust

  6. aoc2023 aoc2023 Public

    advent of code 2023 in Rust

    Rust