alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC TeamPortugal
Pinned Repositories
calculator-c-parser
A simple implementation of a parser and its use to calculate simple mathematical expressions
chip8-emulator-for-gameboy
A chip8 emulator made in gameboy assembly for the gameboy
gameboyemulator
simple gameboy emulator
ghc-linear-synthesis-plugin
A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusing
ghengin
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
haskell-x-swift-project-steps
A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post
hegg
Fast equality saturation in Haskell
llvm-c-search
Terminal interface to search the LLVM-C API
programmer-calculator
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
reference-counting
Reference counting with linear types
alt-romes's Repositories
alt-romes/programmer-calculator
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
alt-romes/hegg
Fast equality saturation in Haskell
alt-romes/ghengin
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
alt-romes/reference-counting
Reference counting with linear types
alt-romes/haskell-x-swift-project-steps
A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post
alt-romes/onory
High-level language embedded in Haskell for specifying distributed algorithms/systems
alt-romes/minecraft-dhall
Draft: Minecraft mod development with Dhall
alt-romes/.vim
minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins
alt-romes/cabal-check-det
Developer script to compare objects produced by GHC for a Cabal package
alt-romes/control
setting up home, with extra steps
alt-romes/dotfiles
alt-romes/jamdict
Jamdict - A Python library Japanese dictionary empowered by JMDict & KanjiDic2 by Jim Breen
alt-romes/activobank-hs
ActivoBank interface in Haskell
alt-romes/agda
Agda is a dependently typed programming language / interactive theorem prover.
alt-romes/alt-romes
alt-romes/alt-romes.github.io
alt-romes/array
alt-romes/cabal
Official upstream development repository for Cabal and cabal-install
alt-romes/cabal-install-hooks-reproducer-1
alt-romes/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
alt-romes/fast-tags
Incremental vi and emacs tags for haskell.
alt-romes/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
alt-romes/haskell-gi
Generate Haskell bindings for GObject-Introspection capable libraries
alt-romes/HPi
Library to access the GPIO pins on a Raspberry Pi from Haskell.
alt-romes/interpolate
String interpolation for Haskell done right!
alt-romes/linear-base
Standard library for linear types in Haskell.
alt-romes/shuffdle
Shuffdle game and solver
alt-romes/stm
Software Transactional Memory
alt-romes/tar
Reading, writing and manipulating ".tar" archive files.
alt-romes/vulkan
Haskell bindings for Vulkan