8000 Armael (Armaël Guéneau) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View Armael's full-sized avatar

Organizations

@ocaml @CakeML

Block or report Armael

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

A tiering proxy for S3 instances, moving objects around based on lifetimes rules. Developed for Garage.

Rust 3 1 Updated Oct 17, 2026

iOS music player for MP3 folders from Files and iCloud Drive.

Swift 194 20 Updated Nov 5, 2026

Feather🪶: A Rust web framework that does not use async

Rust 763 24 Updated Jul 30, 2026

A compute toolkit for the web with the depth of Plan 9 from Bell Labs

Go 855 49 Updated Oct 26, 2026

The first ever roguelike written in the OCaml type system

OCaml 106 4 Updated Apr 2, 2025

An engine for displaying slips, the next-gen version of slides

OCaml 900 27 Updated Oct 31, 2026
OCaml 5 Updated Mar 21, 2026

a tool for reinterpreting ELF executables and shared libraries

Rust 361 12 Updated Nov 12, 2024

A shared budget web application

Python 1,395 301 Updated Aug 7, 2026

A PPX deriver that automates differential testing for OCaml modules

OCaml 26 1 Updated Nov 30, 2024

A calendar aggregator and generator to make maintaining calendars on static websites easier.

Rust 38 3 Updated Feb 28, 2024

Formal Semantics for Why3

Rocq Prover 21 1 Updated Jul 15, 2026

Sculpted and curved keycaps for Kailh Choc and MX switches

2,337 191 Updated Oct 10, 2026

Not a filesystem for Mirage block devices

OCaml 25 2 Updated Sep 3, 2024

IO should be just a library

OCaml 25 Updated Jul 17, 2023

Fun, portable, minimalistic virtual machine.

Rust 625 23 Updated Oct 28, 2026

OhtML (pronounced Oatmeal) is an OCaml and htmx project

OCaml 87 Updated May 27, 2023

A GUI for tagging and managing document metadata for books, textbooks, or articles.

OCaml 17 1 Updated Jun 16, 2023

The caml walks, OCaml runs

OCaml 22 Updated Oct 11, 2023

A unikernel as an IRC client

OCaml 26 Updated Sep 13, 2023

TUI multiline fuzzy document finder

OCaml 292 6 Updated Oct 19, 2026

TeXpresso: live rendering and error reporting for LaTeX

C 801 49 Updated Nov 1, 2026

Documentation of the OCaml implementation

54 Updated Mar 21, 2023

Interactive breakpoints!

OCaml 48 3 Updated Jan 9, 2026

Creusot helps you prove your Rust code is correct.

Rust 1,955 101 Updated Nov 5, 2026

Build Mirage unikernels with Nix

Nix 58 4 Updated Feb 5, 2026

Draw pretty maps from OpenStreetMap data! Built with osmnx +matplotlib + shapely

Python 14,326 735 Updated Jul 30, 2026

A peer-to-peer file-transfer tool in OCaml

OCaml 142 5 Updated May 12, 2025

Purely functional GUI algebra

OCaml 83 1 Updated Apr 8, 2025

A utility to test Open Sound Control sending and receiving from the browser

JavaScript 39 1 Updated Jan 3, 2023
Next
0