Skip to content
View haesbaert's full-sized avatar

Organizations

@mirage

Block or report haesbaert

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

386BSD

C 577 115 Updated Dec 20, 2020

Interoperable effects based concurrency

OCaml 84 3 Updated Sep 29, 2024

A Wayland window-stacking compositor

C 1,626 152 Updated Sep 30, 2024

MirBSD Korn Shell Source Code Mirror – This is a publish-only repository and all pull requests are ignored. This repository is a mirror and may receive forced (non-fast-forward) updates. Please con…

C 206 35 Updated Aug 18, 2024

A simple scheduler for OCaml 5

OCaml 94 6 Updated Sep 24, 2024

OpenBSD tcpbench ported to GNU/Linux

C 11 1 Updated Sep 1, 2024

blazingly fast backends in zig

C 2,226 75 Updated Sep 20, 2024

SSH chat server using trust on first use for user registration

OCaml 30 Updated Sep 19, 2024

Native Ubuntu installations for Apple silicon hardware

Shell 793 26 Updated Sep 16, 2024
Clojure 26 Updated May 5, 2015

Documentation of the OCaml implementation

53 Updated Mar 21, 2023

Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

C 77 43 Updated Aug 20, 2024

Modern and functional CDE desktop based on FVWM

CSS 1,925 56 Updated Jun 19, 2024

Albatross: orchestrate and manage MirageOS unikernels with Solo5

OCaml 142 17 Updated Sep 18, 2024

Script that greps anything in the sources of every opam packages

OCaml 25 2 Updated Oct 13, 2022

Auditively feel the work of the runtime

OCaml 31 3 Updated Mar 1, 2024

Portable OCaml interface to macOS/Linux/Windows native IO event notification mechanisms

OCaml 31 1 Updated Jul 2, 2023

GTK and HTML viewers for mirage-profile trace files

OCaml 21 7 Updated Feb 8, 2023

Use DragonFly BSD in github actions

Shell 15 2 Updated Sep 22, 2024

A 3D printed, Solderless Hot Swap Socket to build keyswitch matrixes

OpenSCAD 351 19 Updated Dec 5, 2021

Pure OCaml implementation of the Session Description Protocol (RFC 4566)

OCaml 3 Updated Aug 7, 2022

A monorepo of mirage packages that work with OCaml 5 using effects

OCaml 14 3 Updated Oct 22, 2022

A pure OCaml Gameboy emulator

OCaml 84 2 Updated Jun 4, 2019

GNOME Shell extension exposing a D-Bus interface to activate the window with the given title

JavaScript 36 5 Updated Sep 20, 2024

The best way for developers to write software in OCaml

OCaml 61 8 Updated Aug 2, 2023
OCaml 22 1 Updated Feb 9, 2024

Set LED color for logitech g403 mouse

C 12 1 Updated Jan 16, 2018

Your self-hosted, globally interconnected microblogging community

Ruby 46,855 6,923 Updated Sep 30, 2024

former home of Charrua client code

OCaml 6 3 Updated Jun 19, 2017

Unsigned integers for OCaml

OCaml 10 2 Updated May 22, 2017
Next