abailly/xxi-century-typed

Stars
14
Rank 1,438,076 (Top 29 %)
Language
Haskell
Created over 7 years ago
Updated about 2 years ago

abailly/xxi-century-typed

abailly

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Support code for talk 'XXIst century shall be typed or not be'

aws-lambda-haskell

Running Haskell code on AWS Lambda

hevents

Event Sourcing library in Haskell

hs-word2vec

A port of Google's word2vec to Haskell

haskell-synthesizer

a toy synthesizer to explore haskell concepts

jepsen-vagrant

Vagrant box for running jepsen tests

lein-maven-plugin

A simple maven wrapper over leiningen 2.X

jaskell

a Haskell clone for the JVM

dojo-nantes

multi-host-docker

Code for setting up multi-host docker with private networking

raptr

Raft distributed consensus over HTTP

functional-design-patterns

An exploration of functional programming concepts in non-functional languages

openjgraph

A library for graphs and graphs layout in java

xforth

A forth implementation on the JVM

hsgames

A client-server Haskell implementation of an old boardgame

jautomata

Java library for manipulating various kind of automata

idris-http

An HTTP server in Idris2

raft-for-dummies

reveal.js slideshow on Raft Consensus protocol

ioautomata

Working with I/O Automata

one-log

Repository for "One log" talk

propellor

A Haskell-based configuration management system

softwarewolves

foobarqix

babel-tower-meets-jvm

iut-prog-dist

Cours de Programmation Répartie - IUT Nantes

ci-vagrant

Vagrantfile to create a complete CI and Dev machine for Java

abailly.github.io

jacobs-ladder

beyond-tdd

Material for conference workshop on Property and Model based testing

functional-testing-reboot

Materials for Agile Tour 2011 session on Specification by Example and Acceptance Test-Driven Development

auth-server

A haskell-based authentication server

ddd-event-sourcing

Sample code for DDD/Event sourcing experimenting

homero2019

Tweet generator for the #Homero2019 project

crete1941

Experimental wargame in Haskell

csl

Contract Specification Language

parsing

Various utilities

poker-epitech

Main de poker en haskell

system-extra

Mixed system-level utilities in Haskell

scala-matrix-example

An example of evolving some code to work with matrices in scala

concurrency

Implementation of various constructs from "The Art of Multiprocessor Programming"

hstore

A simple event store in Haskell

haskell-template

A template for haskell projects

muse-parser

A publication system based on muse format files.

advent-of-code-2019

Sources for https://adventofcode.com/2019

trialchain

parsec-workshop

Code for running a Parsec/JParsec workshop

yate

Yet Another Template Engine

notes

Personal repository for notes

aoc2022

infra-test

greed-tcr

Greed kata using TCR flow

capital21

Visualizing wealth data, inspired by "Le Capital au XXI° siècle" de T.Piketty

clj-xducer

A library for finite state transducers in clojure

patchwork

Library for manipulating bytecode and extracting coverage information

hslogic

A logic programming based framework to allocate resources

propellor-test2

crypto

get-started-in-rust