Skip to content
View alt-romes's full-sized avatar
🦖
🦖
188 followers · 476 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx3Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx3Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report alt-romes

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

🌱 Things I've spent a lot of hours in

  • ghengin: WIP: Haskell Game Engine
  • hegg: Fast equality saturation in Haskell
  • linear-core: My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation
  • ghc-linear-synthesis-plugin: A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusing
  • programmer-calculator Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
  • gameboyemulator: A gameboy emulator from scratch
  • chip8-emulator-for-gameboy: A chip8 emulator made in gameboy assembly for the gameboy
  • operating-system: An operating system from scratch
  • c-compiler: A C to LLVM compiler in C
  • .vim: minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins
  • cob-hs: A haskell library for CoB
  • haskell-swift: Haskell x Swift interoperability libraries and tools

⚡ And some of my smaller projects

  • reference-counting: Reference counting with linear types
  • haskell-x-swift-project-steps: A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog posts
  • mermaid-hs: A Haskell library for parsing mermaid diagrams
  • ghc-obsidian: Generate an Obsidian Vault from the Notes in GHC Haskell
  • shuffdle.com: Slide the daily shuffdle word into the bottom row or: Caesar's 20-puzzle

Pinned Loading

  1. hegg hegg Public

    Fast equality saturation in Haskell

    Haskell 76 8

  2. ghengin ghengin Public

    Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine

    Haskell 42

  3. ghc-linear-synthesis-plugin ghc-linear-synthesis-plugin Public

    A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusing

    Haskell 4

  4. programmer-calculator programmer-calculator Public

    Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits

    C 549 23

  5. gameboyemulator gameboyemulator Public

    simple gameboy emulator

    C 8

  6. chip8-emulator-for-gameboy chip8-emulator-for-gameboy Public

    A chip8 emulator made in gameboy assembly for the gameboy

    Assembly 14