Programming Languages
22,646 items in 77 lists
-
ARKit-Navigation github.com
Navigation in augmented reality with MapKit.
-
XSuperObject github.com
. [Delphi] Delphi Cross Platform Rapid JSON
-
ex_check github.com
One task to efficiently run all code analysis & testing tools in an Elixir project.
-
Truss github.com
An opinionated assertions API for Clojure/ClojureScript.
-
Whirly github.com
-
ENVied github.com
-
LeChatP/RootAsRole github.com
A better alternative to sudo(-rs)/su • ⚡ Blazing fast • 🛡️ Memory-safe • 🔐 Security-oriented
-
idalib github.com
[idalib] - Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.0’s idalib
-
Notificationz github.com
Helping you own NSNotificationCenter in Swift.
-
spark-2014 github.com
SPARK formal verification toolset.
-
delay-timer github.com
Time-manager of delayed tasks. Like crontab, but asynchronous tasks are possible.
-
scry github.com
Code analysis server for Crystal implementing the Language Server Protocol
-
ofxBox2d github.com
openFrameworks wrapper for Box2D. [BSD-like]
-
cpp-mcp github.com
Lightweight C++ MCP (Model Context Protocol) SDK. [MIT]
-
Rapidfire github.com
-
BadActor github.com
In-memory, application-driven jailer built in the spirit of fail2ban.
-
prova github.com
-
FsPickler github.com
Fast, multi-format messaging serializer for .NET.
-
GtkD github.com
-
Transit github.com
A data interchange format and set of libraries for conveying values between applications written in different programming languages.
-
RR github.com
-
go-peer github.com
A software library for creating secure and anonymous decentralized systems.
-
Coqtail github.com
Interface for Coq based on the Vim text editor.
-
SLAyer github.com
-
clostache github.com
-
niceql github.com
-
MicroPythonBLEHID github.com
Human Interface Device (HID) over Bluetooth Low Energy (BLE) GATT library for MicroPython.
-
sklearn-genetic github.com
Genetic feature selection module for scikit-learn.
-
UIStackView Playground github.com
-
Quack github.com
-
Alectryon github.com
Collection of tools for writing technical documents that mix Coq code and prose.
-
goth github.com
OAuth 2.0 library for server to server applications via Google Cloud APIs.
-
meseeks github.com
A library for parsing and extracting data from HTML and XML with CSS or XPath selectors.
-
tzdata github.com
The timezone database in Elixir.
-
Workarea github.com
-
rxing-core/rxing github.com
[rxing] - A rust port of the zxing barcode library.
-
tsink github.com
Embedded time-series database for Rust
-
aioodbc github.com
-
stringify-object github.com
Stringify an object/array like JSON.stringify just without all the double-quotes.
-
pgxcli github.com
PostgreSQL CLI client written in Go, inspired by pgcli.
-
reflex-search/reflex github.com
[reflex-search] - Local-first, full-text code search engine for AI coding agents. Trigram-indexed, sub-100ms queries, MCP server mode, 18 languages via tree-sitter.
-
TypeShape github.com
Small, extensible F# library for practical generic programming.
-
Starling-Particles github.com
Particle system for the Starling framework, compatible with the "Particle Designer" from 71squared.com.
-
tickgit github.com
CLI and go package for surfacing code comment TODOs (in any language) and applying a git blameto identify the author.
-
jchultarsky/mirador github.com
[mirador] - A calm personal dashboard for the terminal: clocks, calendar and agenda, weather, tasks, notes, markets and live system metrics in a configurable grid
-
Owi github.com
-
SquirrelJME github.com
Java ME 8 Virtual Machine for embedded and Internet of Things devices.
-
DBI github.com
-
serum github.com
A simple static website generator written in Elixir.
-
pipes github.com
Macros for more flexible composition with the Elixir Pipe operator.
- next page of items loading…
