Pinned Repositories
agda-simple
My own base library + algebra research
codebreakers-2017
foreign-store
Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.
netwire
FRP library
predictive
Predict the future, backtrack on failure
progress-meter
Live diagnostics for concurrent activity
rapid
Rapid prototyping with GHCi
rapid-term
External terminal support for rapid
snippets
wires
FRP library
esoeylemez's Repositories
esoeylemez/netwire
FRP library
esoeylemez/rapid
Rapid prototyping with GHCi
esoeylemez/wires
FRP library
esoeylemez/foreign-store
Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.
esoeylemez/progress-meter
Live diagnostics for concurrent activity
esoeylemez/predictive
Predict the future, backtrack on failure
esoeylemez/rapid-term
External terminal support for rapid
esoeylemez/snippets
esoeylemez/agda-simple
My own base library + algebra research
esoeylemez/codebreakers-2017
esoeylemez/skeleton
My skeleton project
esoeylemez/codebreakers
Dateien des Codebreakers-Workshops
esoeylemez/haskell-workshop
esoeylemez/stimpak
FRP implementation
esoeylemez/tutorials
Tutorials
esoeylemez/vector-rope
Vectors with efficient appends and updates
esoeylemez/Ashfall
Ashfall – TES3MP script repository
esoeylemez/config
My personal configuration files
esoeylemez/containers
Assorted concrete container types
esoeylemez/esoeylemez.github.io
esoeylemez/janitor-jamboree
A constantly evolving project I work on to learn the art of game programming and design patterns.
esoeylemez/kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
esoeylemez/nix
Nix, the purely functional package manager
esoeylemez/nixpkgs
Nix Packages collection
esoeylemez/reflex