Pinned Repositories
bera-downloader
Python script to dowload BERAs (Bulletin d'Estimation du Risque d'Avalanche) from MeteoFrance website
build_systems_scala_carte
Exploration & implementations of the 'Build Systems à la carte' paper with Scala instead of the original Haskell
hashette
Files hashing utility
ocaml-kata-template
Ocaml Dune project template for code practice
ocli
Mini elm-inspired utilities for Ocaml CLI applications
ocomment
File portion checksum enforcer aimed to reduce comments entropy
openABE-tools
Containers and utilities to ease integrate the openABE library in various systems
self-docker-action
Build docker image from workspace
tips
Various command line tips illustra-tested with cram tests
yadladoc
Documentation code snippets maintenance
NyuB's Repositories
NyuB/ocli
Mini elm-inspired utilities for Ocaml CLI applications
NyuB/yadladoc
Documentation code snippets maintenance
NyuB/hashette
Files hashing utility
NyuB/ocomment
File portion checksum enforcer aimed to reduce comments entropy
NyuB/openABE-tools
Containers and utilities to ease integrate the openABE library in various systems
NyuB/self-docker-action
Build docker image from workspace
NyuB/tips
Various command line tips illustra-tested with cram tests
NyuB/typeshell
Exploring Menhir with a 'compile to bash' language
NyuB/bera-downloader
Python script to dowload BERAs (Bulletin d'Estimation du Risque d'Avalanche) from MeteoFrance website
NyuB/build_systems_scala_carte
Exploration & implementations of the 'Build Systems à la carte' paper with Scala instead of the original Haskell
NyuB/aoc_zig
NyuB/Coq-LogicalFoundation
Coq learning with Logical Foundation exercises
NyuB/exercism-java
Exercism exercises in Java.
NyuB/expect-tests-scala
In-source run/promote acceptance test framework
NyuB/handmade-jvm-bytecode
Playground for java compilation and .class(bytecode) generation
NyuB/layoutdiff
Minimal contour diff visualization tool written in Elm
NyuB/NyuB
NyuB's very own GitHub profile
NyuB/ocaml-exec-minimal
Cookiecutter template for a minimal OCaml executable
NyuB/ocaml-test-runner
Contributing fork to exercism
NyuB/orthogit
Implementing git by composing orthogonal functionalities
NyuB/poke
Yet another static workflow framework, inspired by 'Build systems à la carte', in Kotlin
NyuB/prolog-p99
Prolog exercises
NyuB/py-package-example
NyuB/py_java_package_info
Check and generate package-info.java
NyuB/python-exec-minimal
Cookiecutter template for a minimal Python3 executable
NyuB/redundant-exclusions-maven-plugin
A plugin to check redundant and suspicious exclusions in maven dependencies
NyuB/remote-sandbox-utils
Remote sandbox utility scripts
NyuB/ScalaSamples
Short practice samples of Scala3 concepts
NyuB/training_docker
Node server with express dependency in docker
NyuB/zit
Exploring Zig by implementing some git components