Pinned Repositories
graphex
Dependency graph viewer CLI tool
dalek
Build yourself a Dalek (Dhall-like) in no time!
gitlab
I no longer use GitHub - all my projects are on GitLab now. You can find links & descriptions in this repo.
hspec-wai-servant
Automatically generate functions to call your servant API in Test.Hspec.Wai-style tests
icfp-2023-inference-tricks
monad-fault
Fault Injection for Haskell
uuid-divide
Mutually-exclusive, collectively-exhaustive sets of UUID ranges
ramirez7's Repositories
ramirez7/dalek
Build yourself a Dalek (Dhall-like) in no time!
ramirez7/hspec-wai-servant
Automatically generate functions to call your servant API in Test.Hspec.Wai-style tests
ramirez7/monad-fault
Fault Injection for Haskell
ramirez7/dhall-proto-lens
Protocol Buffer definitions of the Dhall AST
ramirez7/sdl2-gfx
Haskell bindings to SDL2_gfx.
ramirez7/adobe-air-nix
Adobe AIR SDK and a simple .air launcher
ramirez7/array-chunks
Lists of chunks
ramirez7/boscaceoil
A simple music making program
ramirez7/dear-imgui.hs
Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
ramirez7/dhall-haskell
A configuration language guaranteed to terminate
ramirez7/distribution
The Docker toolset to pack, ship, store, and deliver content
ramirez7/Euterpea2
Euterpea version 2
ramirez7/FasterMelee-installer
Linux cross-distro compatible installer/builder for Faster Melee
ramirez7/ggpo
Good Game, Peace Out Rollback Network SDK
ramirez7/ghc
Fork of official GHC repository.
ramirez7/godot-haskell
Haskell bindings for GdNative
ramirez7/hgeometry
HGeometry
ramirez7/lmdb-simple
Simple Haskell API for LMDB
ramirez7/meleelight
Melee Light Platform Fighter
ramirez7/nixos-up
The fastest NixOS install there is! 🏎️🏁
ramirez7/persistent-documentation
DSL for attaching documentation to persistent entities
ramirez7/player2d
Educational demo implementing a swept 2D character controller
ramirez7/playground
The s/Go/Haskell/ Playground
ramirez7/polysemy
higher-order, no-boilerplate, zero-cost free monads
ramirez7/prometheus
Prometheus.io Haskell client.
ramirez7/ramirez7.github.io
ramirez7/req
Easy-to-use, type-safe, expandable, high-level HTTP client library
ramirez7/sdl2-ttf
All credit be to @osa1 and friends for their initial effort!
ramirez7/SDL_FontCache
A generic font caching C library with loading and rendering support for SDL.
ramirez7/sourcemap
Implementation of source maps as proposed by Mozilla and Google