Aloïs Cochard (@aloiscochard)
github

aloiscochard

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    696
  • Global Rank 43,129 (Top 2 %)
  • Followers 126
  • Following 12
  • Registered over 14 years ago
  • Most used languages
    Haskell
         47.1 %
    Scala
         35.3 %
    Java
         8.8 %
    Rust
         5.9 %
    Shell
         2.9 %
  • Location 🇨🇭 Switzerland
  • Country Total Rank 530
  • Country Ranking
    Haskell
         10
    Scala
         10
    Rust
         280
    Java
         295
    Shell
         1,339

Top repositories

1

codex

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

scato

An exploration of purely functional library design in Scala.
Scala
103
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
46
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
3
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

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
31

scalax-parstream

Scala eXperimental - Parallel Stream
Scala
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