Stars
The official firmware for Meshtastic, an open-source, off-grid mesh communication system.
A collaborative bibliography of work related to the theory and practice of computational effects
A tool-agnostic formal specification language for OCaml.
🦀 How to minimize Rust binary size 📦
efene / efene
Forked from marianoguerra/efeneAlternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX
Making a DIY usb hub with per-port-power-switching using an existing hub.
Main public package repository for opam, the source package manager of OCaml.
Free universal database tool and SQL client
Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
(WIP) A reimplementation of the Corange Game Engine (https://github.com/orangeduck/Corange) in the ATS programming language.
Erlang library to read sysctl-like configuration files
Unofficial reference documentation for ATS programming language libraries
ATS2: Unleashing the Potentials of Types and Templates
Learn how identifiable you are on the Internet