Skip to content
View stepbrobd's full-sized avatar
📡
F/KC1VZR
📡
F/KC1VZR

Sponsoring

@ppy
@glanceapp
@neovim
@typst
@NixOS

Organizations

@NixOS @oar-team @ngi-nix @plasgroup @deeznutsphd @sbbdinc @gre-nug @ens-de-lyon

Block or report stepbrobd

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A statically generated webring with YOCaml, because we love small-web

OCaml 23 12 Updated Aug 25, 2025

earlyoom - Early OOM Daemon for Linux

C 3,768 189 Updated Oct 18, 2025

Terraform modules for NixOS and spiritual successor to the terraform-nixos project

HCL 153 15 Updated Apr 11, 2025

(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage

Rust 2,260 92 Updated Dec 21, 2025

Git mergetool leveraging code formatters.

OCaml 39 6 Updated Jun 2, 2025

OpenID Connect authentication provider for Home Assistant

Python 724 38 Updated Dec 17, 2025

Ease reproducible experiments of distributed systems

Python 21 4 Updated Dec 15, 2025

Update flake packages by nix-update via github-actions

Nix 3 Updated Nov 25, 2025

A BDD library with theory support

OCaml 5 Updated Dec 18, 2025

Identity-aware VPN and proxy for remote access to anything, anywhere.

TypeScript 17,339 506 Updated Dec 21, 2025

Check if an email address exists without sending any email, written in Rust. Comes with a ⚙️ HTTP backend.

Rust 6,924 495 Updated Oct 27, 2025

Simple, fast, accurate single-header microbenchmarking functionality for C++11/14/17/20

C++ 1,638 94 Updated Oct 6, 2024

A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.

Python 501 65 Updated Nov 23, 2025

extensible Markdown library and tool in "pure OCaml"

OCaml 159 48 Updated Nov 16, 2025

A simple unikernel which provides a search engine from an emails archive

OCaml 13 Updated Dec 10, 2025

A tiny PID 1 for containers, written in x86-64 NASM and ARM64 GAS.

Assembly 18 2 Updated Dec 13, 2025

Embeddable Lambda Prolog Interpreter

Prolog 333 43 Updated Dec 12, 2025

strace is a diagnostic, debugging and instructional userspace utility for Linux

C 2,534 464 Updated Dec 19, 2025

Ring, field, lra, nra, and psatz tactics for Mathematical Components

Rocq Prover 38 4 Updated Sep 15, 2025

Mathematical Components compliant Analysis Library

Rocq Prover 231 64 Updated Dec 18, 2025

Mathematical Components

Rocq Prover 662 125 Updated Dec 10, 2025

A DHCP library in OCaml

OCaml 58 19 Updated Dec 17, 2025

Certmagic S3-compatible driver written in Go | Caddy 证书存储 Certmagic 接口分布式对象存储实现

Go 69 35 Updated Sep 22, 2025
JavaScript 18 3 Updated Nov 3, 2025
OCaml 21 3 Updated Apr 27, 2023

IO for Gallina

Rocq Prover 33 8 Updated Dec 17, 2025

An opinionated implementation of the OpenVPN protocol

OCaml 80 9 Updated Sep 12, 2025

AeroSpace is an i3-like tiling window manager for macOS

Swift 17,667 371 Updated Dec 15, 2025

A simple http client/server (http/1.1 & h2) for OCaml 5

OCaml 41 8 Updated Nov 24, 2025

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

OCaml 49 3 Updated Nov 26, 2025
Next