Aloïs Cochard (aloiscochard)

aloiscochard

Geek Repo

Location:Lausanne, CH

Twitter:@aloiscochard

Github PK Tool:Github PK Tool


Organizations
ornamentix

Aloïs Cochard's repositories

codex

A ctags file generator for cabal/stack project dependencies.

Language:HaskellLicense:Apache-2.0Stargazers:169Issues:10Issues:62

scato

An exploration of purely functional library design in Scala.

Language:ScalaLicense:Apache-2.0Stargazers:103Issues:12Issues:3

sarsi

A universal quickfix toolkit

Language:HaskellLicense:Apache-2.0Stargazers:46Issues:7Issues:19

codec-jvm

A JVM bytecode assembler written in Haskell.

Language:HaskellLicense:Apache-2.0Stargazers:36Issues:10Issues:1

elasticsearch-osem

ElasticSearch OSEM

Language:JavaStargazers:22Issues:7Issues:0

spring-security-ntlm

Spring Security - NTLM Support

Language:HaskellLicense:Apache-2.0Stargazers:10Issues:5Issues:0

machines-io

IO utilities for the machines library

Language:HaskellLicense:Apache-2.0Stargazers:9Issues:6Issues:2

machines-directory

System Directory utilities for the machines library

Language:HaskellLicense:Apache-2.0Stargazers:6Issues:6Issues:1

machines-binary

Binary utilities for the machines library

Language:HaskellLicense:Apache-2.0Stargazers:3Issues:4Issues:0

machines-process

System Process utilities for the machines library

Language:HaskellLicense:Apache-2.0Stargazers:3Issues:4Issues:0

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.

Language:RustLicense:MITStargazers:2Issues:2Issues:0

velox

A continuous development automaton

Language:RustLicense:Apache-2.0Stargazers:2Issues:5Issues:0

dvorhack

Dvorhack - The hacker's dvorak keyboard layout

Language:ShellStargazers:1Issues:3Issues:0

keymaker

Only the One can open the door.

Language:RustLicense:GPL-3.0Stargazers:0Issues:2Issues:0

aloiscochard.github.io

Personal Website

Language:HTMLStargazers:0Issues:3Issues:0

hs-certificate

Certificate and Key Reader/Writer in haskell

Language:HaskellStargazers:0Issues:3Issues:0

JoltPhysics

A multi core friendly rigid body physics and collision detection library, written in C++, suitable for games and VR applications.

Language:C++License:MITStargazers:0Issues:1Issues:0

kafka

Mirror of Apache Kafka

Language:JavaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

mitigatingbias.ml

Mitigating Bias in Machine Learning: Online book repository

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:0Issues:2Issues:0

nix-bundle

Bundle Nix derivations to run anywhere!

Language:NixLicense:MITStargazers:0Issues:2Issues:0

nixpkgs

Nix Packages collection & NixOS

Language:NixLicense:MITStargazers:0Issues:1Issues:0

ontogpt

GPT-based ontological extraction tools, including SPIRES

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

rust-lv2

A safe, fast, and modular framework to create LV2 plugins, written in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

rust-samplerate

High level Rust bindings for libsamplerate.

Language:RustLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

sbt-native-packager

SBT Native Packager

Language:ScalaLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

scalaz

An extension to the core Scala library for functional programming.

Language:ScalaStargazers:0Issues:3Issues:0

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Language:ShellLicense:MITStargazers:0Issues:3Issues:0

woods

Minimal Scala LSP server

Language:HaskellStargazers:0Issues:2Issues:0