Pinned Repositories
.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
haskellStudy
bzhkl's Repositories
bzhkl/haskellStudy
bzhkl/.tmux
Oh My Tmux! My pretty + versatile self-contained tmux configuration
bzhkl/7guis-reflex
An implementation of the 7GUIs in reflex-dom
bzhkl/aimbot
Give you a legal aimbot made by sourcemod.
bzhkl/BioModelAnalyzer
BioModelAnalyzer is a user-friendly tool for constructing biological models and verifying them
bzhkl/double-extra
Missing presentations for Double numbers (fixed, scientific etc.)
bzhkl/Earley
Parsing all context-free grammars using Earley's algorithm in Haskell.
bzhkl/Functional-logic-programming
My solutions for the exercises of the course "Functional and Logic Programming Languages".
bzhkl/ghc-proofs
Let GHC prove program equations for you
bzhkl/gloss
Painless 2D vector graphics, animations and simulations.
bzhkl/gooey
GHCJS example code
bzhkl/haskelle
Theorem Prover for Propositional Logic
bzhkl/heqet
Organize Euterpea music for real instruments and create scores with Lilypond
bzhkl/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.
bzhkl/incredible
The Incredible Proof Machine
bzhkl/loveaira.me
My website.
bzhkl/mBotHaskell
Project for the course "functional and logic programming" at Ghent University.
bzhkl/MonadTry
bzhkl/obfusion
Obfusion - C++ X86 Code Obfuscation Library
bzhkl/pinchot
Create data types and parsers from a context-free grammar
bzhkl/redsocks
transparent redirector of any TCP/UDP connection to proxy
bzhkl/reflex-dom-lazy-grid-example
Example of a lazy grid using reflex-dom
bzhkl/reflex-platform
bzhkl/reflex-sdl2
bzhkl/snappy
A reactive library for using SVG in the browser for Haskell
bzhkl/SublimeHaskell
A Sublime Text 2/3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.
bzhkl/tmux2html
:cat2: Render full tmux windows or individual panes as HTML
bzhkl/transient
A full stack reactive architecture for general purpose programming. High level, composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking,pure state) and thus, fully composable.
bzhkl/tutorials_as_code
so that stuff read/seen don't get muddled up with time
bzhkl/WebIDE
Coding WebIDE Community Edition