Providence Salumu's repositories
beamonad
A Yesod-based server for screen presentations. Somewhat like LaTeX Beamer, but interactive.
concurrency-primitive-benchmarks-1
concurrency-primitive-benchmarks
cpu16
DCPU-16 Emulation
ekg-core
Library for tracking system metrics
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
glossy
Gloss OpenGL applications
haskell-in-haskell
Trying to write an understandable implementation of Haskell, in Haskell
hls-simple
A simple HLS loop streaming server in Haskell
kfk-nixos-vm
NixOS based Kafka vm with Haskell kafka reader and sender
Lambda-Cube
Single file Lambda Calculus implementations and presentation slides.
lambda-launcher
Application launcher in haskell. Mostly Just For Fun.
lean4
Lean4 work in progress repo
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
monoid-extras
Miscellaneous constructions on monoids
mu-haskell-berlin-fp-talk
Code example and slides for my talk in the Berlin Functional Programming Group
order-graph
Matching engine + order routing for limit orders
ray-tracers
Ray Tracer in Haskell
shake-language-c
Cross-compilation framework based on the Shake Haskell library.
svadors
Big Mario and the Invaders
tfausak-advent-of-code-2020
:santa: My Elm solutions to the 2020 Advent of Code puzzles.
U-2-Net
The code for our newly accepted paper in Pattern Recognition 2020: "U^2-Net: Going Deeper with Nested U-Structure for Salient Object Detection."