Programming Languages
22,646 items in 77 lists
-
mongo-go-pagination github.com
Mongodb Pagination for official mongodb/mongo-go-driver package which supports both normal queries and Aggregation pipelines.
-
gospeed github.com
Go micro-benchmarks for calculating the speed of language constructs.
-
go-vcard github.com
Parse and format vCard.
-
amqp github.com
-
willi-kappler/darwin-rs github.com
Evolutionary algorithms
-
w4/chartered github.com
A private, authenticated, permissioned Cargo registry
-
0x59616e/SteinsOS github.com
An OS for armv8-a architecture.
-
FSharp.Data.Npgsql github.com
F# type providers library on a top of well-known Npgsql ADO.NET client library.
-
Modeling and Proving in Computational Type Theory github.com
Book covering topics in computational logic using Coq, including foundations, canonical case studies, and practical programming.
-
sbcl-librarian github.com
-
orion github.com
A minimal, rails-esque routing library
-
PHP RFC Watch github.com
-
ocaml-parsing github.com
-
lhttpc github.com
-
pavlov github.com
BDD framework for your Elixir projects.
-
geocoder github.com
A simple, efficient geocoder/reverse geocoder with a built-in cache.
-
conduit github.com
A framework for working with message queues, with adapters for SQS and AMQP, and plugs for reusable messaging patterns.
-
Crepe github.com
-
lrserver github.com
LiveReload server for Go.
-
igor github.com
Abstraction layer for PostgreSQL that supports advanced functionality and uses gorm-like syntax.
-
MQBoard github.com
A micro-framework for using MQTT with asyncio on MicroPython boards, primarily on the ESP32.
-
flake8-typing-only-imports github.com
flake8 plugin that helps identify which imports to put into type-checking blocks, and how to adjust your type annotations once imports are moved.
-
flake8-type-checking github.com
Plugin to help you guard any type-annotation-only import correctly.
-
scikit-mdr github.com
A sklearn-compatible Python implementation of Multifactor Dimensionality Reduction (MDR) for feature construction.
-
deejay github.com
Music player that broadcasts to everyone on the same network.
-
WasmCert-Coq github.com
Formalization in Coq of the WebAssembly (aka Wasm) 1.0 specification.
-
Ceramist github.com
Verified hash-based approximate membership structures such as Bloom filters.
-
original repository github.com
-
Postgres github.com
-
datum github.com
-
pronto github.com
-
Ciri github.com
-
go-lock github.com
go-lock is a lock library implementing read-write mutex and read-write trylock without starvation.
-
gothanks github.com
GoThanks automatically stars your go.mod github dependencies, sending this way some love to their maintainers.
-
parquet github.com
Read and write parquet files.
-
patron github.com
Patron is a microservice framework following best cloud practices with a focus on productivity.
-
stalwartlabs/mail-auth github.com
[mail-auth] - DKIM, ARC, SPF and DMARC message authentication library
-
hyperlane-dev/hyperlane github.com
[hyperlane] - A lightweight, high-performance, cross-platform Rust HTTP server library built on Tokio; built-in support for middleware, WebSocket, SSE, and raw TCP.
-
entropic-security/xgadget github.com
[xgadget] - Fast, parallel, cross-variant ROP/JOP gadget search
-
donnie4w/tklog github.com
lightweight and efficient rust structured log library with support for log levels, file segmentation, compressed archiving.
-
pytest-mypy-plugins github.com
Pytest plugin for testing mypy types, stubs, and plugins.
-
AppReview github.com
A tiny library to request review on the AppStore via SKStoreReviewController.
-
modulejs github.com
-
vend github.com
-
Actionjson github.com
Faster, more advanced ActionScript 3 JSON library.
-
clim github.com
Slim command line interface builder
-
Hprose for Delphi/Lazarus github.com
. [Delphi] [FPC] High Performance Remote Object Service Engine. It is a modern, lightweight, cross-language, cross-platform, object-oriented, high performance, remote dynamic communication middleware. It is not only easy to use, but powerful. This project is the implementation…
-
ContentBox github.com
-
sdlang github.com
-
Consolex github.com
Consolex is a tool that allows you to attach a web based console to any mix project.
- next page of items loading…
