Instrumentation for https://opentelemetry.io

Highly flexible (distributed) trace analysis tool for Jaeger and Zipkin

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://logseq.io/p/NX4mc_ggEV

Writing an OS in 1,000 lines.

✌️ Gleam support for Vim/Neovim

A fast, friendly, functional language.

A simple and easy-to-use library to enjoy videogames programming

A container runtime written in Rust

Erlang on Xen

krata is a Xen control plane in Rust.

⭐️ A friendly language for building type-safe, scalable systems!

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

Moved to Codeberg

Github mirror of os dev repo

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Le code civil français sous git