zohl

Pinned Repositories

anki
Anki for desktop computers
Language:Python00
anki-tools
Tools for interacting with Anki database
Language:Haskell5 3 02
cereal-time
Serialize instances for types from `time` package.
Language:Haskell13
dictionaries
Tools to work with StarDict dictionaries.
Language:Haskell51
pomodoro
A simple pomodoro timer written in haskell.
Language:Haskell11
postgresql-simple-bind
FFI-like bindings for PostgreSQL strored functions
Language:Haskell00
servant-auth-cookie
Authentication via encrypted cookies
Language:Haskell23 4 3423
servant-auth-hmac
Authentication via hashed message code (HMAC) based on RFC1945.
Language:Haskell11

zohl's Repositories

zohl/servant-auth-cookie
Authentication via encrypted cookies
Language:Haskell23 4 3423
zohl/anki-tools
Tools for interacting with Anki database
Language:Haskell5 3 02
zohl/dictionaries
Tools to work with StarDict dictionaries.
Language:Haskell51
zohl/cereal-time
Serialize instances for types from `time` package.
Language:Haskell13
zohl/pomodoro
A simple pomodoro timer written in haskell.
Language:Haskell11
zohl/servant-auth-hmac
Authentication via hashed message code (HMAC) based on RFC1945.
Language:Haskell11
zohl/anki
Anki for desktop computers
Language:Python00
zohl/postgresql-simple-bind
FFI-like bindings for PostgreSQL strored functions
Language:Haskell00
zohl/async_gui_ipython_kernel
This enables the IPython kernel to receive GUI events while waiting for cells. This should be part of IPykernel 6.0.0.
Language:Python
zohl/C-Preprocessor
This is a C like preprocessor for Javascript, using Node.js
Language:JavaScript
zohl/curlpload
(WIP) Simple file hosting server with minimalistic interface
Language:Haskell
zohl/fast-parse-html
Lightweight platform-independent forgiving html parser.
Language:JavaScript
zohl/hspec-wai
Helpers to test WAI application with Hspec
Language:Haskell
zohl/html-to-inferno
Converting raw html text to Inferno's VNodes.
Language:JavaScript
zohl/http-types
Generic HTTP types for Haskell (for both client and server code)
Language:Haskell
zohl/inferno-state-observer
A small widget to observe global state of the application.
Language:JavaScript
zohl/nixpkgs
Nix Packages collection
Language:Nix
zohl/postgresql-simple
Mid-level client library for accessing PostgreSQL from Haskell
Language:Haskell
zohl/random-html
Random html snippets generator.
Language:JavaScript
zohl/ScRead
A plugin for Anki SRS.
Language:Python1
zohl/servant
Main repository for the servant libraries. Web API combinators, with servers, clients and documentation
Language:Haskell
zohl/servant-frontpage
Serving html page from file with caching and detecting changes in the file.
Language:Haskell
zohl/servant-record
Isomorphism between Servant API definitions and records.
Language:Haskell
zohl/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Language:Shell
zohl/tr
A simple server for translating words (WIP).
Language:JavaScript
zohl/warp-autoquit
Automatically quit warp server when inactive.
Language:Haskell
zohl/warp-socket-activation
A simple wrapper for socket based activation.
Language:Haskell
zohl/wasted
A Firefox addon that tracks the wasted in the browser time.
Language:TypeScript