abailly/haskell-synthesizer

Stars
14
Rank 1,399,967 (Top 29 %)
Language
Haskell
License
Other
Created over 12 years ago
Updated over 12 years ago

abailly/haskell-synthesizer

abailly

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

a toy synthesizer to explore haskell concepts

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

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

xforth

A forth implementation on the JVM

openjgraph

A library for graphs and graphs layout in java

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

foobarqix

softwarewolves

auth-server

A haskell-based authentication server

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

ddd-event-sourcing

Sample code for DDD/Event sourcing experimenting

functional-testing-reboot

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

jacobs-ladder

beyond-tdd

Material for conference workshop on Property and Model based testing

homero2019

Tweet generator for the #Homero2019 project

crete1941

Experimental wargame in Haskell

parsing

Various utilities

csl

Contract Specification Language

poker-epitech

Main de poker en haskell

system-extra

Mixed system-level utilities in Haskell

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

scala-matrix-example

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

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