Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

MIT License

Theseus

GNU General Public License v3.0

bowtie2

Colibri core is an NLP tool as well as a C++ and Python library for working with basic linguistic constructions such as n-grams and skipgrams (i.e patterns with one or more gaps, either of fixed or dynamic size) in a quick and memory-efficient way. At the core is the tool ``colibri-patternmodeller`` whi      ch allows you to build, view, manipulate and query pattern models. 

colibri-core

A library designed to bridge the gap between the triad of CLJ/CLJS, web-sockets and core.async.

chord

 Estimating the number of clusters in a data set via the gap statistic. Implemented in H2O-3

Apache License 2.0

h2o3-gapstat

BicBucStriim streams books, digital books. It fills a gap in the functionality of current NAS devices that provide access to music, videos and photos -- but not books. BicBucStriim fills this gap and provides web-based access to your e-book collection.

Other

BicBucStriim

❄️ Find all used addresses in your Bitcoin HD wallets bypassing gap limits.

HD-Wallet-Scanner

Wavefront alignment algorithm (WFA): Fast and exact gap-affine pairwise alignment

Logi is light-weight C++ Vulkan abstraction framework, which attempts to bridge the gap between previous graphics APIs and Vulkan by making API easier to use while still preserving Vulkan semantics and introducing as little overhead as possible.