Aloïs Cochard (@aloiscochard)

Top repositories

1

codex

A ctags file generator for cabal/stack project dependencies.
Haskell
169
star
2

scato

An exploration of purely functional library design in Scala.
Scala
104
star
3

sindi

Sindi - An IoC Container for Scala
Scala
67
star
4

enum-paradise

Scala enumeration implementation using type macros
Scala
57
star
5

sarsi

A universal quickfix toolkit
Haskell
45
star
6

codec-jvm

A JVM bytecode assembler written in Haskell.
Haskell
36
star
7

sherpa

Sherpa - A serialization toolkit for Scala with macro-oriented case classes mapping
Scala
34
star
8

grpc-haskell

Haskell implementation of gRPC layered on shared C library.
Haskell
23
star
9

elasticsearch-osem

ElasticSearch OSEM
Java
22
star
10

drscala

DrScala - A doctor for your code
Scala
17
star
11

spring-security-ntlm

Spring Security - NTLM Support
Java
11
star
12

machines-tutorial

Haskell
10
star
13

matterhorn

Scala
9
star
14

git-sanity

A sanity checker for your git history.
Haskell
9
star
15

machines-io

IO utilities for the machines library
Haskell
9
star
16

shona

Scala
8
star
17

siona

Siona - A layered application framework for Scala
Scala
7
star
18

sandra

Sandra - An Apache Cassandra Toolkit for Scala
Scala
7
star
19

grpc-scala

Scala
7
star
20

kuna

Haskell
7
star
21

machines-directory

System Directory utilities for the machines library
Haskell
6
star
22

spring-security-ntlm-samples

Spring Security - NTLM Support (Samples)
4
star
23

spring-batch-integration-gridgain

Spring Batch Integration Module for GridGain
Java
4
star
24

machines-process

System Process utilities for the machines library
Haskell
3
star
25

machines-binary

Binary utilities for the machines library
Haskell
3
star
26

velox

A continuous development automaton
Rust
2
star
27

sample-cqrs-cargo

Scala
2
star
28

redigo

A HTTP Routing Engine (FastCGI/Redis)
Haskell
2
star
29

thinkgear

Haskell implementation of the ThinkGear Protocol.
Haskell
2
star
30

scalax-parstream

Scala eXperimental - Parallel Stream
Scala
2
star
31

OmegaDomino

OmegaDomino is a computer program developed by artificial intelligence researcher Aloïs Cochard to master the game of domino. This algorithm uses an approach similar to AlphaZero and DeepStack.
Rust
2
star
32

workbench

A collection of simple utilities
Haskell
1
star
33

sc2

A collection of strategies for StarCraft2 Multiplayer CoOp
1
star
34

ignis

Haskell
1
star
35

influo

A HTTP Stress Tool
Haskell
1
star
36

dvorhack

Dvorhack - The hacker's dvorak keyboard layout
Shell
1
star