bzhkl Goto Github PK

.tmux

Oh My Tmux! My pretty + versatile self-contained tmux configuration

7guis-reflex

An implementation of the 7GUIs in reflex-dom

aimbot

Give you a legal aimbot made by sourcemod.

biomodelanalyzer

BioModelAnalyzer is a user-friendly tool for constructing biological models and verifying them

double-extra

Missing presentations for Double numbers (fixed, scientific etc.)

earley

Parsing all context-free grammars using Earley's algorithm in Haskell.

functional-logic-programming

My solutions for the exercises of the course "Functional and Logic Programming Languages".

generic-lens

Automatically make lenses from data structures implementing Generic

ghc-proofs

Let GHC prove program equations for you

gloss

Painless 2D vector graphics, animations and simulations.

gooey

GHCJS example code

haskell-parser-examples

Examples of a simple parser written in both Parsec and Happy/Alex

haskelle

Theorem Prover for Propositional Logic

haskellstudy

heqet

Organize Euterpea music for real instruments and create scores with Lilypond

heqet-app

A graphical music editor using my Heqet library and threepenny-gui

impress.js

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

incredible

The Incredible Proof Machine

loveaira.me

My website.

mbothaskell

Project for the course "functional and logic programming" at Ghent University.

monadtry

obfusion

Obfusion - C++ X86 Code Obfuscation Library

physical_chemistry

code used in videos for the TMP Chem YouTube channel

pinchot

Create data types and parsers from a context-free grammar

react.hs

Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/

redsocks

transparent redirector of any TCP/UDP connection to proxy

reflex-dom-lazy-grid-example

Example of a lazy grid using reflex-dom

reflex-platform

reflex-sdl2

snappy

A reactive library for using SVG in the browser for Haskell