nyub Goto Github PK

aoc_zig

bera-downloader

Python script to dowload BERAs (Bulletin d'Estimation du Risque d'Avalanche) from MeteoFrance website

coq-logicalfoundation

Coq learning with Logical Foundation exercises

eslint-plugin-sample

Minimal config and sample rules for custom eslint plugin

exercism-elm

Exercism exercises in Elm.

exercism-java

Exercism exercises in Java.

graalvm-samples

GraalVM feature samples and tutorials

handmade-jvm-bytecode

Playground for java compilation and .class(bytecode) generation

kraft-lib

Graph algorithm library

layoutdiff

Minimal contour diff visualization tool written in Elm

muapp

Minimal mongoose http server api

ocaml-kata-template

Ocaml Dune project template for code practice

ocli

Mini elm-inspired framework 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

py-package-example

py_java_package_info

Check and generate package-info.java

remote-sandbox-utils

Remote sandbox utility scripts

scalasamples

Short practice samples of Scala3 concepts

self-docker-action

Build docker image from workspace

tips

Various command line tips illustra-tested with cram tests

typeshell

Exploring Menhir with a 'compile to bash' language

yadladoc

Documentation code snippets maintenance

youtube-mp3-downloader

Youtube video to audio downloader executable using pytube

zit

Exploring Zig by implementing some git components