basile-henry

conflict

Conflict is a small esoteric language giving semantics to git merge conflicts

clash-io

Run Clash circuits with a SDL frontend

onnxruntime-rs

Rust bindings to onnxruntime

dotfiles

loopy

aoc2019

Advent of Code 2019 - Learning OCaml

aoc2020

Advent of Code 2020

basile-henry

clash-compiler

CAES Language for Synchronous Hardware

dense

Mutable and immutable multidimentional arrays

dhall-haskell

A configuration language guaranteed to terminate

ghcid

Very low feature GHCi based IDE

ghcide-nix

Nix installation for ghcide

niv

Easy dependency management for Nix projects

nix-delegate

Convenient utility for distributed Nix builds

onnxruntime

ONNX Runtime: cross-platform, high performance scoring engine for ML models

oxo9

A small OXO game with special rules

path-clean

A Rust implementation of `cleanname` or `path.Clean`

progression

Asynchronous non-blocking progress bar for rust

r13y.com

NixOS Reproducibility Checker

reedline

A readline replacement written in Rust

repline

Haskeline wrapper for GHCi-like REPL interfaces

reversi

A game of Reversi for the Rasperry Pi with a Sense Hat

serenity

The Serenity Operating System 🐞

session-sauce

Shell plugin for managing tmux sessions

ssh2-rs

Rust bindings for libssh2

unicode-segmentation

Grapheme Cluster and Word boundaries according to UAX#29 rules

vivado-docker

Dockerfile with Vivado for CI

vscode-dhall-lsp-server

VSCode pluging that provides LSP support for the Dhall programming language

workshops