Ship of Theseus

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.

Analyze how a Git repo grows over time

A library for differentiable nonlinear optimization

A pretty darn cool JavaScript debugger for Brackets

An open-source iOS personal analytics tool

🍔🍟🍗 Food analysis baseline with Theseus. Integrate object detection, image classification and multi-class semantic segmentation 🍞🍖🍕

⛵️The official PyTorch implementation for "BERT-of-Theseus: Compressing BERT by Progressive Module Replacing" (EMNLP 2020).

Theseus is a Python library for cohort analysis

A very flexible random maze generator, solver, and renderer for Ruby

Cortex - AI on Blockchain, Official Golang implementation

Wayland and X11 Compositor for the KDE Plasma desktop

theseus, functional programming language with fully reversible computation

🛠️ Tools for Transformers compression using PyTorch Lightning ⚡

No description available

A distributed hash table with unusually strong security properties

tensorflow version of bert-of-theseus

bigFORTH is a native code Forth. It is available for Linux, Mac OS X, and Windows under GPL. The most striking feature is the graphical user interface MINOS and the form editor Theseus

General template for most Pytorch projects

bert-of-theseus via bert4keras

Conceptual understanding through efficient inverse-design of quantum optical experiments

Continuous Zero-Downtime Deployments for Kubernetes & Istio

[VLDB 2022] Dash application for "Navigating the Labyrinth of Time Series Anomaly Detection"

hack club's new warehouse & letter mail system!

deferred-aware profiling for twisted

Private Military Company content mod for Arma 3

An implementation of the NIST SP 800-90B tests, and related testing tools.

Open source FPGA cores for digital signal processing (push mirror from gitlab.com/theseus-cores/theseus-cores)

Fast and Optimal Affine-Gap Sequence-to-Graph Alignment

JavaScript client library for argo Hypermedia APIs