- Grenoble, France
-
06:32
(UTC +01:00)
-
-
-
-
poke Public
Yet another static workflow framework, inspired by 'Build systems à la carte', in Kotlin
Kotlin UpdatedOct 21, 2024 -
build_systems_scala_carte Public
Exploration & implementations of the 'Build Systems à la carte' paper with Scala instead of the original Haskell
Scala UpdatedOct 11, 2024 -
ocaml-exec-minimal Public
Cookiecutter template for a minimal OCaml executable
Makefile UpdatedOct 8, 2024 -
ocomment Public
File portion checksum enforcer aimed to reduce comments entropy
-
-
python-exec-minimal Public
Cookiecutter template for a minimal Python3 executable
Makefile UpdatedSep 30, 2024 -
ocaml-test-runner Public
Forked from exercism/ocaml-test-runnerContributing fork to exercism
OCaml GNU Affero General Public License v3.0 UpdatedSep 28, 2024 -
yadladoc Public
Documentation code snippets maintenance
-
-
bera-downloader Public
Python script to dowload BERAs (Bulletin d'Estimation du Risque d'Avalanche) from MeteoFrance website
Python UpdatedAug 19, 2024 -
expect-tests-scala Public
In-source run/promote acceptance test framework
Batchfile UpdatedAug 16, 2024 -
-
-
-
-
-
-
-
-
-
Coq-LogicalFoundation Public
Coq learning with Logical Foundation exercises
Coq MIT License UpdatedApr 1, 2023 -
-
handmade-jvm-bytecode Public
Playground for java compilation and .class(bytecode) generation
Python UpdatedMar 14, 2023 -
exercism-java Public
Forked from exercism/javaExercism exercises in Java.
Java MIT License UpdatedMar 3, 2023 -
openABE-tools Public
Containers and utilities to ease integrate the openABE library in various systems
-
-