smorimoto/rekernel smorimoto/rekernel

  • Stars
    star
    29
  • Rank 857,425 (Top 17 %)
  • Language Makefile
  • License
    Apache License 2.0
  • Created over 4 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
smorimoto/rekernel
github

smorimoto

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A minimal setup for writing Unikernels in ReasonML

More Repositories

1

coq-to-ocaml-to-js

Proof of concept to generate safe and fast JavaScript
JavaScript
25
star
2

rescript-videojs-example

ReScript
17
star
3

re-tree

A minimal Unix tree command implementation written in pure Native Reason
Reason
11
star
4

tune-github-hosted-runner-network

OS-neutral interface to disable TCP/UDP offload to fix flaky networking on GitHub-hosted runners
8
star
5

dnssec-tools

Shell
7
star
6

dockerfiles

Various Dockerfiles I use on the desktop and on servers
Dockerfile
5
star
7

ocaml-asai

Solutions to the exercises in 浅井健一's book "プログラミングの基礎".
OCaml
4
star
8

blog

HTML
1
star
9

smorimoto

1
star
10

strapi-strapi-repro-15848

TypeScript
1
star
11

ocaml-trawler

OCaml
1
star