bartavelle Goto Github PK

7startups

A whirlwind tour of some Haskell design decisions

anagrammer

Find line-anagrams in an ASCII formatted text file (excluding lines where all words match)

backend-lab

chatserver-lab

Lab work for the language & security course

compactmap

Memory efficient read-only key-value stores.

confcheck

confcheck-audittool

Parses the output of audittool

confcheck-types

confcheck-types

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

curiefense

Curiefense extends Envoy proxy to defend against a variety of threats, including SQL and command injection, cross site scripting (XSS), account takeovers (ATOs), application-layer DDoS, remote file inclusion (RFI), API abuse, and more.

eldenring-companion

A web application to use while you are playing elden ring

fastparser

A fast bytestring parser

filecache

A Linux-only cache system associating values to files. The values are automatically discarded when the files are modified.

fulcrum-coq

A proof of the fulcrum program, in O(n) time and memory.

gamebooksolver

Solving game books, specifically Lone Wolf ones

haskell

Exercism exercises in Haskell.

haskell-to-elm

Generate Elm types, encoders, and decoders from Haskell types

hexpat-lens

Lenses for Hexpat

hruby

Embed Ruby in your Haskell program.

hsfacter

A small and ugly library that emulates the output of the puppet facter program.

hslogstash

A library to write structured messages to a logstash server.

irc-core

Haskell IRC library and console client - Join us on Freenode #haskell-irc

json-helpers

Elm helpers for Json encoding and decoding of sum types

langsec-sliced

Langsec course helper module

language-puppet

A library to work with Puppet manifests, test them and eventually replace everything ruby.

manglingrules

A library to work with John the Ripper or Hashcat mangling rules.

misi-resit

Resit lab, making invalid states unrepresentable

mysql_proxy

A puppet module that demonstrates how to setup a minimal SQL firewall with mysql proxy

pcre-utils

Perl-like utility functions using the PCRE library

probatree

Minimal haskell library for computing final probabilities from probabilistic decision trees.