abailly/hslogic

Stars
1
Language
Haskell
License
Other
Created over 10 years ago
Updated about 4 years ago

abailly/hslogic

abailly

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

A logic programming based framework to allocate resources

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

xxi-century-typed

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

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

propellor-test2

crypto

get-started-in-rust