Magnus Skjegstad (MagnusS)

MagnusS

Geek Repo

Location:Oslo, Norway

Home Page:http://www.skjegstad.com

Github PK Tool:Github PK Tool


Organizations
includeos
mirage
ocamllabs

Magnus Skjegstad's starred repositories

linuxkit

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

Language:GoLicense:Apache-2.0Stargazers:8197Issues:251Issues:1101

radius

a Go (golang) RADIUS client and server implementation

Language:GoLicense:MPL-2.0Stargazers:551Issues:21Issues:78

eio

Effects-based direct-style IO for multicore OCaml

Language:OCamlLicense:NOASSERTIONStargazers:525Issues:25Issues:141

ocaml-ctypes

Library for binding to C libraries using pure OCaml

Language:OCamlLicense:MITStargazers:363Issues:25Issues:321

nematoduino

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

Language:CLicense:GPL-2.0Stargazers:334Issues:40Issues:5

go-p9p

A modern, performant 9P library for Go.

Language:GoLicense:Apache-2.0Stargazers:204Issues:22Issues:12

domainslib

Parallel Programming over Domains

Language:OCamlLicense:ISCStargazers:165Issues:12Issues:51

awesome-multicore-ocaml

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

ocurrent

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

Language:OCamlLicense:Apache-2.0Stargazers:135Issues:13Issues:46

progress

Progress bar library for OCaml

Language:OCamlLicense:MITStargazers:133Issues:7Issues:16

ocaml-ci

A CI for OCaml projects

docker-unikernel-runner

Provides a platform to experiment with using Docker to build, distribute and run unikernels.

Language:CLicense:ISCStargazers:95Issues:18Issues:4

tool

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

Language:GoLicense:Apache-2.0Stargazers:73Issues:19Issues:51

pasteur

Paste-eur as unikernel

rtf

Regression testing framework

Language:GoLicense:Apache-2.0Stargazers:40Issues:16Issues:12

ixy.ml

OCaml rewrite of the ixy network driver

Language:OCamlLicense:ISCStargazers:35Issues:11Issues:0

current-bench

Experimental benchmarking infrastructure using OCurrent pipelines

Language:ReScriptLicense:Apache-2.0Stargazers:33Issues:11Issues:168

paf-le-chien

Port of HTTP/AF & H2 with Mirage and mimic

Language:OCamlLicense:MITStargazers:31Issues:3Issues:10

chamelon

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

Language:OCamlLicense:ISCStargazers:30Issues:5Issues:12

utcp

An implementation of the Transmission Control Protocol in OCaml

Language:OCamlLicense:NOASSERTIONStargazers:29Issues:7Issues:30

ocaml-iomux

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

Language:OCamlLicense:ISCStargazers:27Issues:4Issues:0

docteur

An opiniated file-system for MirageOS

Language:OCamlLicense:MITStargazers:25Issues:3Issues:4

lrgrep

Menhir polishing toolbox, for experienced druids

dream-routes

Define your Dream router with Routes

Language:OCamlLicense:BSD-3-ClauseStargazers:20Issues:4Issues:0

get-activity

collect activity and format as markdown for a journal

ocaml-stun

Pure & Incomplete STUN protocol in OCaml

Language:OCamlLicense:ISCStargazers:14Issues:4Issues:1

eon

Effects-based OCaml Nameserver

mirage-net-macosx

MacOS X implementation of the Mirage NETWORK interface

Language:OCamlLicense:ISCStargazers:10Issues:13Issues:4

gh-report

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

Language:GoLicense:Apache-2.0Stargazers:9Issues:1Issues:0

mirage-net-flow

Build MirageOS network interfaces on top of MirageOS flows

Language:OCamlLicense:ISCStargazers:6Issues:5Issues:0