edgarklerks Goto Github PK

aws-cli

Universal Command Line Interface for Amazon Web Services

bashlib

A small library implementing a module system in bash

bootstrap

The most popular front-end framework for developing responsive, mobile first projects on the web.

composablepairingheap

A pairing heap (a sort of priority queue) which can be composed with another datastructure adhering to an interface, so that inserts, deletes are synchronized between the heap and the datastructure.

configuration

contracts

PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts and an extension API.

document-indexer

A application based on elasticsearch to make your code and manpages searchable.

dotfiles

My dotfiles

drunken-markov-generator

This is a drunken markov generator, which shows of some type level programming. It can create models of several orders and it is quite general.

elf-bindings

Haskell bindings for elf headers. The binding on linux is done, a pretty interface needs to be defined yet.

entropy_estimation

Various methods to estimate the entropy of general systems

hforum

A forum where threads can have subthreads, which can have subthreads. The threads are organised in a rose tree.

hive-udf

NexR Hive UDFs

idris-dev

A Dependently Typed Functional Programming Language

infra

jpgpj

Java Pretty Good Privacy Jig

labyrinth

A game for children in which they have to program a robot to navigate through a labyrinth

laptop_setup

Personal laptop/other devices setup

lex-pass

manipulate a php codebase using haskell to transform the abstract-syntax-tree

libpam-policycache

Password caching module with advanced policies for PAM.

linkerproblem

mycv

My curriculum vitae

plop

privatecloud

projectentropy

For kek and cats ^_^

quantum-dsl

A small DSL in which one can describe on an abstract level quantum systems.

regular-string-generator

This contains a library, which can generate strings from regular expressions.

rewrite_systems

A library, which provides a edsl for expressing rewrite systems inclusive a couple of tools exploring them. Used as educational tool for children.

rover-mission

sbt-s3-resolver

:cloud:Amazon S3-based resolver for sbt