Stars
Lean 4 programming language and theorem prover
Documentation for building the open source ultra low-field MRI at Utrecht University
Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend
🐶 Kubernetes CLI To Manage Your Clusters In Style!
🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning
3D printable magnetic separation contactless key switch and stabilizers (OpenSCAD files)
A 10000+ hours dataset for Chinese speech recognition
Cryptomator for Windows, macOS, and Linux: Secure client-side encryption for your cloud storage, ensuring privacy and control over your data.
A place to put our 2018 Xena project UROP thoughts and programs.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Kubermatic Kubernetes Platform - the Central Kubernetes Management Platform For Any Infrastructure
Collection of public available person re-identification datasets
Repository to track the progress in Natural Language Processing (NLP), including the datasets and the current state-of-the-art for the most common NLP tasks.
This repository is outdated and new Boost Note app is available! We've launched a new Boost Note app which supports real-time collaborative writing. https://github.com/BoostIO/BoostNote-App
RPG Paper Maker is a game making engine, free for non commercial use, allowing you to create a 3D universe with many 2D sprites and even 3D objects using a simple interface for all available platfo…
webhook is a lightweight incoming webhook server to run shell commands
A guide to learn and become active in the demoscene within a couple of weeks
Chinese character stroke order animations and practice quizzes
This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…