8301.jozefg / learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
Ranked by Attention Score: stars gained over the last 180 complete days
8301–8400 of 23,783 by Attention Score · May 12, 2026 – Nov 7, 2026 (UTC)
A collection of resources for learning type theory and type theory adjacent fields.
Build beautiful, interactive API Docs with embeddable React or Web Components, powered by OpenAPI and Markdown.
A very fast geospatial point clustering library for browsers and Node.
3D LIDAR-based Graph SLAM
Full-featured, open source mail server solution for mainstream Linux/BSD distributions.
IDE-like breadcrumbs, out of the box
Fancy code outline sidebar to visualize and navigate code symbols in a tree hierarchy
A list of schools and researchers in computational neuroscience
🌊 Continuously synchronize the systems where your data lives, to the systems where you _want_ it to live, by managing your data flows with Estuary. 🌊
Ultra-pure, lag-free prompt with async Git status—just for Fish
A small C# game framework
A roadmap describing the required skills, learning resources and sample tools to become an AI Engineer
A complete and open application for automatic backing tracks generation.
A secure password manager for macOS,Linux and Windows platforms
Access control for AI agents. Set what Claude Code, Codex, Gemini, Cursor and any MCP server are allowed to do, review risky actions before they run, and keep every action on the record.
A free J2ME emulator with libretro, awt and sdl2 frontends.
A spring that solves your animation problems.
A Deep Learning based project for colorizing and restoring old images (and video!)
Translated🥡 Git recipes in Chinese by Zhongyi Tong. High-quality Git tutorials in Chinese.
Tomorrow Theme
Learn to Code While Building Apps - The Complete Flutter Development Bootcamp
Lightweight job scheduling for Node.js
A vault for securely storing and accessing AWS credentials in development environments
Tsunami is a general purpose network security scanner with an extensible plugin system for detecting high severity vulnerabilities with high confidence.
🛰️ Represent any GraphQL API as an interactive graph
A Python utility / library to sort imports.
Awesome autocompletion, static analysis and refactoring library for python
Split your file into encrypted fragments so that you don't need to remember a passcode
A solution for implementing efficient and consistent software delivery to Kubernetes facilitating best practices.
Headless Chrome .NET API
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.
Alert dashboard for Prometheus Alertmanager
GeoJSON utilities that will make your life easier.
A framework for building messaging apps with .NET and C#.
🕷 CrawlerDetect is a PHP class for detecting bots/crawlers/spiders via the user agent
Feature engineering and selection open-source Python library compatible with sklearn.
Mattermost Desktop application for Windows, Mac and Linux
PHP Mutation Testing library
A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.
Interactive evaluation for Neovim (Clojure, Fennel, Scheme, Python, JavaScript, PHP, R, Lua, Rust and more!)
Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.
GammaRay is a tool to poke around in a Qt-application and also to manipulate the application to some extent.
Native Android app for Habitica
This program converts MATLAB®/Octave figures to TikZ/pgfplots figures for smooth integration into LaTeX.
LLPhant - A comprehensive PHP Generative AI Framework using OpenAI GPT 4. Inspired by Langchain
SymEngine is a fast symbolic manipulation library, written in C++
Portfolio optimization with deep learning.
Avalonia-based text editor (port of AvalonEdit)
🌒 Nord for Neovim, but warmer and darker. Supports a variety of plugins and other platforms.
A Swift toolchain installer and manager, written in Swift.
Audited & minimal JS implementation of elliptic curve cryptography.
ModuleScript loader with reusable and easy unified server-client modules for faster game development on Roblox
Module for statistical learning, with a particular emphasis on time-dependent modelling
Periodic DataStore saving solution with session locking
Zero-code K8s sidecar for log sanitization. Detects secrets via Entropy Analysis, preserves JSON integrity, and redacts PII deterministically. 🛡️
Cover your Mac's screen with a hotkey while AI agents keep running, even with the lid closed. The covered screen glows when Claude Code, Codex or Gemini needs you. Touch ID unlock.
Rust language bindings for Microsoft Playwright
Translatedabout learning Spring Boot via examples. Spring Boot tutorials and tech stack example code, quick and easy tutorials to get started.
Translated:star: Linux / Windows / macOS cross-platform V2Ray client | Supports VMess / VLESS / SSR / Trojan / Trojan-Go / NaiveProxy / HTTP / HTTPS / SOCKS5 | Developed with C++ / Qt | Extensible plugin-style design :star:
lightweight, powerful javascript datetimepicker with no dependencies
The Simple, Secure Framework Developers Trust
Loads environment variables from `.env` to `getenv()`, `$_ENV` and `$_SERVER` automagically.
ASP.NET Boilerplate - Web Application Framework
Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
MySQLTuner is a script written in Perl that will assist you with your MySQL configuration and make recommendations for increased performance and stability.
Translated.Net aot ORM SqlServer ORM Mongodb ORM MySql 瀚高 (Hangao, "vast and high") Postgresql ORM DB2 Hana 高斯 (Gaosi, "Gauss") Duckdb C# VB.NET Sqlite ORM Oracle ORM Mysql Orm 虚谷数据库 (Xugu Shujuku, "Xugu database") 达梦 (Dameng, "reaching dreams") ORM 人大金仓 (Renda Jincang, "Renda golden granary") ORM 神通 (Shentong, "divine powers") ORM C# ORM , C# ORM .NET ORM NET9 ORM .NET8 ORM ClickHouse ORM QuestDb ,TDengine ORM,OceanBase ORM,GaussDB ORM,Tidb ORM Object/Relational Mapping
🛒 Solidus, the open-source eCommerce framework for industry trailblazers.
Virtual Python Environment builder
Franz is a free messaging app for services like WhatsApp, Slack, Messenger and many more.
Example Firefox add-ons created using the WebExtensions API
Lightweight and fast library written in C# for reading Microsoft Excel files
Deepchecks: Tests for Continuous Validation of ML Models & Data. Deepchecks is a holistic open-source solution for all of your AI & ML validation needs, enabling to thoroughly test your data and models from research to production.
A highly efficient implementation of Gaussian Processes in PyTorch
Terasology - open source voxel world
A lightweight game engine written in modern C++
📷 A composable image editor using Core Image and Metal.
A collection of tools developed by other researchers in the Computer Science area to process network traces. All the right reserved for the original authors.
DO NOT CHECK OUT THESE FILES FROM GITHUB UNLESS YOU KNOW WHAT YOU ARE DOING. (See below.)
A fast Golang Redis client that supports Client Side Caching, Auto Pipelining, RDMA, etc.
High-speed packet processing framework
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
Helix Toolkit is a collection of 3D components for .NET.
Future-proof content collaboration platform
NixOps is a tool for deploying to NixOS machines in a network or cloud.
Headless Chrome Ruby API