A Neovim plugin for CSV file editing.
Repository Index
56,638 visible repositories in the index
14,449–14,472 of 30,373 · Most stars
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
A collection of eBPF programs demonstrating bad behavior, presented at DEF CON 29
PGX — Lightweight Postgres for AI agents. Written in Rust. Thousands of isolated databases in one runtime🐘
Lightweight and fast recurring dates library for PHP (RFC 5545)
- rrule
- php
- recurrence
- dates
Reading list for research topics in embodied vision
- embodied-vision
- curated-list
- awesome-list
- visual-navigation
Frogatto & Friends is an action-adventure game, starring a certain quixotic frog.
MySQL Connector/C++ is a MySQL database connector for C++. It lets you develop C++ and C applications that connect to MySQL Server.
open source tools to generate mypy stubs from protobufs
㊙️ AntiXSS | Protection against Cross-site scripting (XSS) via PHP
- php
- xss
- xss-attacks
- html-character
A simple way to pack and manage texture atlases for libGDX game framework.
- libgdx
- texturepacker
- texture-atlas
- texture-packing
Windows desktop automation for DeepSeek Harness: the in-box MCP client bridge mounted against CursorTouch/Windows-MCP, with an off-by-default Computer Use switch and an in-app dependency installer.
- computer-use
- deepseek-harness
- desktop-automation
- dsh
AI-first external attack surface assessment with continuous discovery, evidence-based vulnerability validation, and developer-agent MCP integration.
- ai
- attack-surface-management
- bbot
- cybersecurity
BioBERT: a pre-trained biomedical language representation model for biomedical text mining
RBDL is a C++ library that contains some essential and efficient rigid body dynamics algorithms such as the Articulated Body Algorithm (ABA) for forward dynamics, Recursive Newton-Euler Algorithm (RNEA) for inverse dynamics, the Composite Rigid Body Algorithm (CRBA) for the efficient computation of the joint space inertia matrix and is also able to compute forward dynamics with external contact constraints and collision impulses. Furthermore it has some basic support for forward and inverse kinematics.
- articulated-body-algorithm
- inverse-dynamics
- forward-dynamics
- multi-body-dynamics
:1234: Bits, bytes and general-purpose calculator
- storage
- storage-unit-converter
- command-line
- standalone
An implementation of markdown in C, using a PEG grammar
a pug implementation written in Java (formerly known as jade)
Swagger integration to Phoenix framework
Redux.NET is a predictable state container for .NET apps. Inspired by https://github.com/reactjs/redux.
The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.
- qbit
- java
- microservice
- websocket-support
Parser combinators built for speed and memory efficiency
- ocaml
- parser-combinators
- parsing
Official release of the ProGen models
- language-model
- protein
- generative-model
Android Sample Project with Material Design and Toolbar.