F# type providers to support statically typed access to input parameters and result set of sql statement in idiomatic F# way. Data modifications via statically typed tables.
Repository Index
62,272 visible repositories in the index
12,433–12,456 of 16,573 · Most stars
Collects PostgreSQL statistics, and either saves them in CSV files or print them on the stdout
IBM Stencils for creating IBM Diagrams with enterprise diagram tools.
CanAirIO is a citizen science initiative. We are developing a mobile application that is able to set a PM2.5 or CO2 sensors, and other related sensors, as a fixed station using WiFi or mobile station with an smartphone by using a Bluetooth connection.
Agent skill: outline, mask and count objects in photos with Meta's SAM 3 on your own NVIDIA GPU, with review, exports and a viewer. Works with Claude Code, Codex, Cursor, Pi and other Agent Skills clients.
- agent-skills
- annotation
- claude-code
- claude-code-plugin
A declarative mapping library to simplify testable object mappings.
- mapper-instance
- transform-functions
- remap
Framework to automate development of Algorand Assets and Smart Contracts.
- algorand
- algorand-assets
- yarn
- teal
A BDD framework for your Elixir projects
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
undo specific lines or partial selections without affecting the rest of the file
- neovim
- neovim-plugin
- neovim-plugin-lua
- neovim-plugins
Microservice framework following best cloud practices with a focus on productivity.
- golang
- microservice
- framework
- go
Interactive voting results for PHP RFC process.
BKNR datastore - MOP-Based in-memory database with transactions for Common Lisp
Clipping and geometric operations for spherical polygons.
- d3
- map
- polygon-clipping
- projection
A custom tab bar controller for iOS.
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
A collection of fonts I've modified for PICO-8 programming.
- pico-8
- bitmap-fonts
- cp437
- windows1252
Code review for your own machines and your own agents. Reviews live where the code does — reached over SSH, WSL or your own tailnet. Desktop app or just a browser tab. No server, no account.
Writeups of Capture The Flag Competitions
- ctf
- picoctf
- writeups
- glug
Scan your computer for applications that are either susceptible to dylib hijacking or have been hijacked.
A macOS app for organizing folders
This is a library that provides generic functionalities for the implementation of imports. In addition to maximum performance and optimized memory consumption, Pacemaker can also be used to implement imports in distributed scenarios that place the highest demands on speed and stability.
- magento
- import
- products
- categories
ReAlign models instantly, on demand. Per-request alignment for verified users and channels, or Always On. Use directly or with Hermes, OpenClaw and custom harnesses.
Extremely powerful Sass media query mixin. Allows you to create almost any media query you can imagine.
- mixins
- media-queries
- responsive
- breakpoints