nobrakal

followers

following

stars

Paris - France

https://cambium.inria.fr/~amoine/

Alexandre Moine's repositories

asak

Identifying similar OCaml codes

Language:OCamlMIT30 4 2

tungsten

Bring fusion to everyone

Language:HaskellMIT13 30

alga-tutorial-newfashion

An alga tutorial

Language:HaskellBSD-3-Clause6 40

coq-alga

A bit of coq-proven alga

Language:CoqUnlicense2 20

alga-tutorial

Language:HTML1 2 2

lint_ligo

Lint ligo

Language:OCamlMIT1 20

TheBlackCurse

Simple game written in Haskell using curses

Language:HaskellGPL-3.01 20

alga

Algebraic graphs

Language:HaskellMIT020

asak-paper

Language:TeX030

benchAlgaPr

Bench a PR for an Haskell graph library

Language:Shell000

crearemundum

French poject for an opensource role playing world, covering different periods

Language:TeXNOASSERTION000

ctl

Language:TeXUnlicense020

engrenages

Système de chat décentralisé

Language:PythonMIT030

fgl

A Functional Graph Library for Haskell

Language:HaskellNOASSERTION020

hash-graph

A hashing-based graph implementation in Haskell

Language:HaskellBSD-2-Clause020

iota

Language:OCaml000

iris-project

Language:HTML000

irisfit

An Iris instance for establishing heap space bounds of concurrent programs in the presence of garbage collection.

Language:CoqMIT000

learn-ocaml

A Web Application for Learning OCaml

Language:JavaScriptMIT000

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION000

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellCC0-1.0000

pgocaml

PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. It uses Camlp4 to extend the OCaml syntax, enabling one to directly embed SQL statements inside the OCaml code.

Language:OCamlNOASSERTION010

testCom

Write your tests in comments

Language:HaskellGPL-3.0000

transition

French poject for an opensource role playing world

Language:TeXCC-BY-SA-4.0020