Beast code in Giters

Ertugrul Söylemez's repositories

netwire

FRP library

Language:HaskellNOASSERTION58 7 2

rapid

Rapid prototyping with GHCi

Language:HaskellNOASSERTION55 8 2

wires

FRP library

Language:HaskellNOASSERTION39 7 3

foreign-store

Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.

Language:HaskellBSD-3-Clause29 6 2

progress-meter

Live diagnostics for concurrent activity

Language:HaskellNOASSERTION11 50

predictive

Predict the future, backtrack on failure

Language:HaskellNOASSERTION600

rapid-term

External terminal support for rapid

Language:HaskellNOASSERTION3 4 1

snippets

Language:Haskell3 40

agda-simple

My own base library + algebra research

Language:AgdaNOASSERTION2 30

codebreakers-2017

Language:Haskell2 60

skeleton

My skeleton project

Language:HaskellNOASSERTION2 40

codebreakers

Dateien des Codebreakers-Workshops

Language:Haskell1 50

haskell-workshop

Language:Haskell1 40

stimpak

FRP implementation

Language:HaskellNOASSERTION1 40

tutorials

Tutorials

Language:Haskell1 40

vector-rope

Vectors with efficient appends and updates

Language:HaskellNOASSERTION1 40

Ashfall

Ashfall – TES3MP script repository

Language:LuaNOASSERTION000

config

My personal configuration files

Language:Emacs Lisp040

containers

Assorted concrete container types

Language:HaskellNOASSERTION000

esoeylemez.github.io

Language:HTML030

janitor-jamboree

A constantly evolving project I work on to learn the art of game programming and design patterns.

Language:CNOASSERTION030

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

Language:HaskellNOASSERTION030

nix

Nix, the purely functional package manager

Language:C++LGPL-2.1030

nixpkgs

Nix Packages collection

Language:NixNOASSERTION030

reflex

Language:HaskellBSD-3-Clause030