• Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Java
  • License
    Apache License 2.0
  • Created over 14 years ago
  • Updated over 9 years ago

Reviews

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

Repository Details

Java library for manipulating various kind of automata

More Repositories

1

aws-lambda-haskell

Running Haskell code on AWS Lambda
Haskell
138
star
2

hevents

Event Sourcing library in Haskell
Haskell
47
star
3

hs-word2vec

A port of Google's word2vec to Haskell
Haskell
26
star
4

haskell-synthesizer

a toy synthesizer to explore haskell concepts
Haskell
14
star
5

xxi-century-typed

Support code for talk 'XXIst century shall be typed or not be'
Haskell
14
star
6

jepsen-vagrant

Vagrant box for running jepsen tests
Shell
12
star
7

lein-maven-plugin

A simple maven wrapper over leiningen 2.X
Java
12
star
8

jaskell

a Haskell clone for the JVM
Java
11
star
9

dojo-nantes

Dojo de nantes
Haskell
10
star
10

multi-host-docker

Code for setting up multi-host docker with private networking
Haskell
8
star
11

raptr

Raft distributed consensus over HTTP
Haskell
7
star
12

functional-design-patterns

An exploration of functional programming concepts in non-functional languages
Java
7
star
13

openjgraph

A library for graphs and graphs layout in java
Java
6
star
14

xforth

A forth implementation on the JVM
Assembly
6
star
15

hsgames

A client-server Haskell implementation of an old boardgame
Idris
6
star
16

idris-http

An HTTP server in Idris2
Idris
5
star
17

raft-for-dummies

reveal.js slideshow on Raft Consensus protocol
JavaScript
4
star
18

ioautomata

Working with I/O Automata
Haskell
4
star
19

one-log

Repository for "One log" talk
Haskell
3
star
20

propellor

A Haskell-based configuration management system
Haskell
3
star
21

softwarewolves

Haskell
2
star
22

foobarqix

Haskell
2
star
23

babel-tower-meets-jvm

2
star
24

iut-prog-dist

Cours de Programmation Répartie - IUT Nantes
Haskell
2
star
25

ci-vagrant

Vagrantfile to create a complete CI and Dev machine for Java
Shell
2
star
26

abailly.github.io

Own web site
HTML
2
star
27

jacobs-ladder

Java
2
star
28

beyond-tdd

Material for conference workshop on Property and Model based testing
Haskell
2
star
29

functional-testing-reboot

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

auth-server

A haskell-based authentication server
Haskell
2
star
31

ddd-event-sourcing

Sample code for DDD/Event sourcing experimenting
Haskell
2
star
32

homero2019

Tweet generator for the #Homero2019 project
Haskell
2
star
33

crete1941

Experimental wargame in Haskell
Haskell
2
star
34

csl

Contract Specification Language
Haskell
2
star
35

parsing

Various utilities
Java
2
star
36

poker-epitech

Main de poker en haskell
Haskell
2
star
37

system-extra

Mixed system-level utilities in Haskell
Haskell
2
star
38

scala-matrix-example

An example of evolving some code to work with matrices in scala
Java
1
star
39

concurrency

Implementation of various constructs from "The Art of Multiprocessor Programming"
Java
1
star
40

hstore

A simple event store in Haskell
Haskell
1
star
41

haskell-template

A template for haskell projects
Haskell
1
star
42

muse-parser

A publication system based on muse format files.
Java
1
star
43

advent-of-code-2019

Sources for https://adventofcode.com/2019
Haskell
1
star
44

trialchain

Haskell
1
star
45

parsec-workshop

Code for running a Parsec/JParsec workshop
Shell
1
star
46

yate

Yet Another Template Engine
Haskell
1
star
47

notes

Personal repository for notes
1
star
48

aoc2022

Haskell
1
star
49

infra-test

Haskell
1
star
50

greed-tcr

Greed kata using TCR flow
Haskell
1
star
51

capital21

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

clj-xducer

A library for finite state transducers in clojure
Clojure
1
star
53

patchwork

Library for manipulating bytecode and extracting coverage information
Java
1
star
54

hslogic

A logic programming based framework to allocate resources
Haskell
1
star
55

propellor-test2

Haskell
1
star
56

crypto

Haskell
1
star
57

get-started-in-rust

Dockerfile
1
star