Starred repositories
torbenraab / plane
Forked from makeplane/planeOpenID Connect Support for Plane🔥 🔥 🔥 Open Source JIRA, Linear and Height Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.
Emulate Nintendo Switch Controllers over Bluetooth
Use controllers from other consoles natively on your Nintendo Switch via Bluetooth. No dongles or other external hardware neccessary.
Secure and fast microVMs for serverless computing.
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
A platform agnostic library for P2P communications using UDP and Bin_prot
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Transfer the clipboard to your phone instantly through the command line
Owl - OCaml Scientific Computing @ https://ocaml.xyz
MirageOS is a library operating system that constructs unikernels
Irmin is a distributed database that follows the same design principles as Git
package.json workflow for native development with Reason/OCaml
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
Blazing fast Neovim framework providing solid defaults and a beautiful UI, enhancing your neovim experience.