ibrahimsag's Stars
ocornut/imgui
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
alyssaxuu/screenity
The free and privacy-friendly screen recorder with no limits 🎥
aphyr/distsys-class
Class materials for a distributed systems lecture series
purescript/purescript
A strongly-typed language that compiles to JavaScript
google/mtail
extract internal monitoring data from application logs for collection in a timeseries database
jozefg/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
sharkdp/cube-composer
A puzzle game inspired by functional programming
tweag/asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
nakst/gf
A GDB frontend for Linux.
HuwCampbell/grenade
Deep Learning in Haskell
hsluv/hsluv
Human-friendly HSL, website and math
passy/awesome-recursion-schemes
Resources for learning and using recursion schemes.
neovimhaskell/haskell-vim
Custom Haskell Vimscripts
BinRoot/Haskell-Data-Analysis-Cookbook
Accompanying Source Code for the Haskell Data Analysis Cookbook
ajnsit/concur
An unusual Web UI Framework for Haskell
paf31/24-days-of-purescript-2016
24 Days of PureScript, 2016
goldfirere/glambda
The home of the Glamorous Glambda interpreter
MichalZalecki/connect-rxjs-to-react
Connect rxjs to React component in Redux style... but without dispatch and constants.
noinia/hgeometry
HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms.
alexandersgreen/qio-haskell
The Quantum IO Monad, implemented in Haskell
xtruder/nix-profiles
Configuration profiles for x-truder networks
xnning/GHC-Core-Literature-Review
Literature review of GHC's Core language, System FC
hunt-framework/hunt
A flexible, lightweight search platform
willtim/recursion-schemes
My London HUG talk: Recursion Schemes by Example
auntieNeo/nixrc
Configuration files for NixOS
iowar/poloniex
Poloniex API in Go
ixmatus/pub
A CLI tool for piping from stdin to a redis pub/sub channel.
smddzcy/hackathon-techsummit-2017
A smart bracelet for preventing harassment.
hstorrent/hstorrent
BitTorrent library in Haskell
lihop/nixos
Configuration files for nixos.