20001.orsinium-labs / infer-types
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
- python
- python3
- +7 more
Ranked by Attention Score: stars gained over the last 90 complete days
20001–20100 of 24,044 by Attention Score · Aug 8, 2026 – Nov 5, 2026 (UTC)
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
Manage and use multiple Ollama instances with automatic offline detection/failover and model availability tracking
Readings for "A Unified View of Relational Deep Learning for Drug Pair Scoring." (IJCAI 2022)
Neovim plugin for terminal file manager integration
TakaTime is a blazingly fast, privacy-first coding activity tracker and the open-source, self-hosted alternative to WakaTime. Track your development activity across Neovim, VS Code, JetBrains IDEs, and Antigravity while generating rich analytics, beautiful dashboards, and GitHub profile statistics—all powered by your own MongoDB database.
High-interaction Honeypot for PLCs and Industrial Control Systems
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
pre-commit git hooks to take care of OpenTofu configurations
Construct dynamic zones that utilise region checking, raycasting and the new BasePart.CanTouch property to effectively determine players and parts within their boundaries.
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
Program to help choose moves in the Pokemon Shuffle puzzle game
An underwater one-button real-time strategy game.
COM Port Library for Delphi (fork from SourceForge)
Web interface to explore Suricata EVE outputs
Create HTML canvas graphics without writing code. Just draw with your pointer on the HTML canvas, then get the code to render it.
🪓🧷 Split or join list-like syntax constructs
Behaviour Driven Development tests generator for Golang
A lightweight, scalable SMTP client for sending email in MicroPython
Shadertoy :arrow_right: LÖVE GLSL || Converter
A repository containing useful, lightweight and reliable dockerfiles.
A Delphi framework for creating data-driven WEB SPA applications with ExtJS 6.x
2D remake of the Portal games with the Godot-Engine
Create collision for multiple 3D Objects in one click
2 Factor Authentication for Wagtail
Ruby library for defining, generating and validating JSON Schema
A toolkit for evaluating and monitoring AI models in clinical settings
A fast, lightweight and single-header C++ csv parser library
ButtleOFX is an open source compositing software.
Reflectionless command line parser
The repository host gives no description.
Social Determinants of Health Visualization
Some utilities for Persian language in Go (Golang)
The first and only true Functional Reactive Programming framework for Scala.
A Fluent Regex Builder for Java
cmp import and use all environment variables from .env.* and system
Chord Charts. Evolved.
R package for segmentation, registration and generating web-based brain atlases from microscope images
Fast in-memory graph structure, powering Gephi
Open/preview contents of the current file at a specific commit, without using git checkout
Monorepo for all UI related projects like Web Player and Subscribe Button
Facilitates simple durable and asynchronous messaging in dotnet apps.
🧛🏻♂️ Dark theme for GameMaker Studio 2
QR code generator (ASCII & PNG) for SEPA payments
A libGDX mechanism to manipulate colors in powerful ways
A foundational framework for modular cryptographic proofs in Coq
Self-hosted challenge board for sweet open hackathons 🐝
GNU Gatekeeper - H.323 server for VoIP and videoconferencing
An implementation of IO, Stream, Fiber for golang inspired by cats and fs2
Platforming game with Godot Engine
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Python API Monitor for Android apps
Java wrapper for SDL and LibGDX controller API
Big Data essentials: Hadoop, MapReduce, Spark. Explore tutorials and demos in Jupyter notebooks—most are self-contained and live, ready to run with a click.
curated list of awesome resources, pointers, and tips related to veganism
Blogs, docs, and static pages in Phoenix
a dungeon crawler written in TypeScript using React and svg
A Maxim MAX30102 driver ported to MicroPython. It should also work for MAX30105.
Spout for Godot 4
Database synchronizer for Magento 2 (and Wordpress), based on Magerun2. Keeping development, staging and production in sync easily.
Homematic IP plugin for homebridge
a checker for the geojson format. goes beyond a schema, checking semantics and producing character-level warnings.
Awesome and Best FastHTML Resources For Python Developers
Repository of Nix expressions for old PHP versions
An EBPF based IPv4/IPv6 firewall with integrations for OpenZiti Zero-Trust Framework edge-routers and tunnellers
A curated list of the best Vegetation Index papers by category
Write HTML in plain Crystal
Gateleen is a RESTful middleware toolkit for building API gateways
Fully auto-generated Common Lisp bindings to Raylib (6.0/5.5) and Raygui (4.0) using claw and cffi-object
chess visualization library written for d3.js
detects nested contexts in loops or function literals
Convert GTFS data into a data.table with GPS-like records in R
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
ZEXMLSS Lazarus/Delphi component for read/write ods, excel xml, xlsx
Haclog(Happy Aync C log) is an extremely fast plain C logging library
A microservice (sidecar) that helps instantly determine the status of your PostgreSQL hosts including whether they are alive, which one is the master, which ones are replicas, and how far each replica is lagging behind the master.
macOS app to show you lyric what currently iTunes or Spotify is playing.
A collection of accessible, free, open-source web components for building Brightspace applications.
Web application to manage CSA (Community Supported Agriculture), ACP (Agriculture Contractuelle de Proximité) or Solawi (Solidarische Landwirtschaft) organizations.
A command line tool to manage Ubuntu Linux and macOS wifi, including an interactive shell
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
A GameBoy printer emulator which provides the received data over a wifi-connection.
brute force SSH public-key authentication
CodeBehind is a modern full-stack framework under ASP.NET Core. CodeBehind was developed by Elanat in 2023 and competes with Microsoft's default web frameworks (ASP.NET Core MVC and Razor Pages and Blazor). CodeBehind is an engineering masterpiece that simultaneously provides the possibility of development based on many patterns.
SimpleLocalize CLI is a developer-friendly command-line tool for uploading and downloading translation files