Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Official git repository for libdivide: optimized integer division
-
Project to build Idris applications on seL4
4 StarredDec 27, 2018 -
How to create a Hello World seL4 project from scratch
-
A C++ library of Concurrent Data Structures
-
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
-
pmacct is a small set of multi-purpose passive network monitoring tools [NetFlow IPFIX sFlow libpcap BGP BMP RPKI IGP Streaming Telemetry].
-
Dactyl-ManuForm, a parameterized ergonomic keyboard
-
Refinement Types for Scripting Languages
-
An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension.
-
Runtime polymorphism done right