Skip to content
View Firobe's full-sized avatar
🐫
🐫

Organizations

@mirage

Block or report Firobe

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

A TLS reverse proxy unikernel

OCaml 36 2 Updated Sep 12, 2024

Information on Solo5 and MirageOS porting to MCUs

9 Updated Jul 10, 2023

Additional opam repository of MirageOS/Solo5 supporting MCUs

3 Updated Jul 12, 2023
VHDL 6 Updated Sep 29, 2024

RIOT - The friendly OS for IoT

C 4,896 1,983 Updated Sep 29, 2024

Web server in OCaml.

OCaml 101 31 Updated Sep 23, 2024

Reactive signals for OCaml.

OCaml 15 Updated Sep 12, 2024
OCaml 3 Updated Jun 29, 2024

A fantasy-console style graphics library for OCaml

OCaml 14 Updated Sep 21, 2024

Unikraft core platform libraries for MirageOS

OCaml 3 Updated Sep 23, 2024

vAccel Rust bindings and RPC Rust components

Rust 1 Updated Sep 20, 2024

A simple HTTP client for OCaml 5

OCaml 11 Updated Sep 12, 2024

WiP image viewer using MirageOS

OCaml 18 2 Updated Aug 4, 2019

Experimental portable bitmap framebuffer graphics for MirageOS

OCaml 18 2 Updated Jul 14, 2020

OCaml cross-compiler to freestanding Unikraft backends

4 Updated Sep 24, 2024

Nix-powered container bundles

Nix 3 Updated Sep 5, 2024

Malfunctional Programming

OCaml 337 19 Updated Sep 22, 2024

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

C 3,892 238 Updated Sep 3, 2024

TLS in pure OCaml

OCaml 304 68 Updated Sep 29, 2024

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Rust 16,930 762 Updated Sep 29, 2024

Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform

OCaml 7 1 Updated Sep 17, 2024

Turnstyle is a graphical esoteric programming language based on lambda calculus

Haskell 75 2 Updated Sep 25, 2024

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

OCaml 18 6 Updated Sep 6, 2024

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer

OCaml 59 10 Updated Sep 29, 2024

WIP: Query the OCaml parsetree

OCaml 4 Updated Sep 6, 2024

OCaml Language Server Protocol implementation

OCaml 754 117 Updated Sep 29, 2024

COCONUT-SVSM

Rust 113 39 Updated Sep 26, 2024

Bindings to the `cuda` and `nvrtc` libraries with a unified interface

OCaml 15 1 Updated Sep 29, 2024

OCaml + Fly.io

OCaml 11 Updated Jul 26, 2024
Next