Skip to content
View MagnusS's full-sized avatar

Highlights

  • Pro

Organizations

@mirage @ocamllabs @includeos

Block or report MagnusS

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

VMM for native-performance sandboxing

C++ 593 15 Updated Apr 25, 2025

📦 A library for parsing IEEE 802.11 frames

Rust 50 13 Updated Apr 8, 2025

An implementation of the Transmission Control Protocol in OCaml

OCaml 29 4 Updated Apr 7, 2025

Effects-based OCaml Nameserver

OCaml 20 4 Updated Apr 23, 2025

Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)

OCaml 29 4 Updated Aug 14, 2024

Menhir polishing toolbox, for experienced druids

OCaml 33 3 Updated Apr 1, 2025

Effects-based direct-style IO for multicore OCaml

OCaml 604 74 Updated Jan 27, 2025

Pure & Incomplete STUN protocol in OCaml

OCaml 14 Updated Dec 8, 2022

Parallel Programming over Domains

OCaml 177 31 Updated Apr 9, 2025

Port of HTTP/AF & H2 with Mirage and mimic

OCaml 30 11 Updated Feb 18, 2025

a small, simple block-backed key-value store for MirageOS

OCaml 31 7 Updated Mar 21, 2023

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

152 2 Updated Aug 30, 2023

Define your Dream router with Routes

OCaml 19 Updated Jul 21, 2021

An opiniated file-system for MirageOS

OCaml 26 1 Updated Sep 11, 2024

collect activity and format as markdown for a journal

OCaml 18 6 Updated Sep 2, 2021

Progress bar library for OCaml

OCaml 140 15 Updated Jun 25, 2024

Experimental benchmarking infrastructure using OCurrent pipelines

ReScript 33 17 Updated Feb 28, 2025

a Go (golang) RADIUS client and server implementation

Go 591 185 Updated Aug 14, 2024

A CI for OCaml projects

OCaml 112 78 Updated Mar 28, 2025

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

OCaml 141 39 Updated Feb 26, 2025

Paste-eur as unikernel

OCaml 65 6 Updated Feb 20, 2025

OCaml rewrite of the ixy network driver

OCaml 35 Updated May 24, 2021

A utility to generate weekly or monthly activity reports for GH repositories

Go 9 Updated Feb 26, 2018

Arduino UNO-compatible robotic simulation of the C. elegans nematode

C 340 37 Updated Aug 13, 2020

Build MirageOS network interfaces on top of MirageOS flows

OCaml 6 2 Updated Jun 23, 2017

Temporary repository for the moby assembly tool used by the Moby project

Go 74 65 Updated Oct 29, 2018

Regression testing framework

Go 42 14 Updated Apr 9, 2025

A toolkit for building secure, portable and lean operating systems for containers

Go 8,421 1,018 Updated Apr 9, 2025

MacOS X implementation of the Mirage NETWORK interface

OCaml 10 8 Updated Mar 14, 2022

Library for binding to C libraries using pure OCaml

OCaml 385 97 Updated Feb 1, 2025
Next
Showing results