#
Lists (9)
Arcane Languages
List with strange programming languages or just ones with cool features5 repositories
✨Best Projects
Collection of the best projects I have found5 repositories
CLI
Helpful CLI tools3 repositories
CMS
Best self-hosted CMS3 repositories
💡 Inspiration
2 repositories
Neovim
2 repositories
Telegram
2 repositories
🛠️ Try Out
Things to maybe try out2 repositories
Starred repositories
JavaScript implementation of modified version of miniKanren
An open-source AI agent that brings the power of Gemini directly into your terminal.
Search and browse documents and data; find the people and companies you look for.
A machine learning-based video super resolution and frame interpolation framework. Est. Hack the Valley II, 2018.
QualityScaler - image/video AI upscaler app
Pixel-Perfect Structure-from-Motion with Featuremetric Refinement (ICCV 2021, Best Student Paper Award)
Visual localization made easy with hloc
MathBot is a transformer-based Math Word Problem (MWP) solver made as the Lab project for CSE 4622: Machine Learning Lab.
A lock-free, partially wait-free, eventually consistent, concurrent hashmap.
A lightweight tool for deploying and managing containerised applications across a network of Docker hosts. Bridging the gap between Docker and Kubernetes ✨
Push docker images directly to remote servers without an external registry
MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model.
Darklang main repo, including language, backend, and infra
A reimplementation of Stable Diffusion 3.5 in pure PyTorch
✨ An advanced 3D Gaussian Splatting renderer for THREE.js
A web-based 3D CAD application for online model design and editing
Containerization is a Swift package for running Linux containers on macOS.
A data structure for mathematical optimization problems
Shim for connecting Swift host code to BuildKit running in a container.
An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing.
Retrieval-Augmented Theorem Provers for Lean