Database Schema Migration System for Common Lisp
- lisp
- common-lisp
- database-schema
- database-migrations
Repository Index
47,133 repositories indexed
3,097–3,120 of 4,058 · Most stars
Server for IBI's GTFS data management platform.
Gameboy CPLD implementation of MBC5/MBC1 Hybrid
A Typesafe-logging (and slf4j) compatible logging library based on macros for Scala/JVM, Scala.js, and Scala Native
- scala
- slf4j
- scala-js
- log-statements
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Publish–subscribe design pattern implementation framework, with an ability to publish events by topic.
OpenTelemetry-native tracing, token tracking, cost attribution, and prompt analytics for Go backends integrating LLMs.
User management for Play! framework (authentication, registration, password management)
A performant, 100% native-julia SHA1, SHA2, and SHA3 implementation
- cryptography
- sha1
- sha2
- sha3
The repository host gives no description.
A cookbook for InfluxDB, a time-series database (influxdb.org)
- cookbooks
- infrastructure-management
- monitoring
- database
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Fast implementation of queue in OCaml
- queue
- ocaml
- gadt
An open source implementation of some of the applications from Larry Kroeker's DF-EDIT
Mild colorscheme for Neovim
Mars theme for Omarchy
Apache JMeter plugin for load testing HLS and MPEG-DASH video streams. Simulates adaptive bitrate playback, manifest/segment downloads, and live or VOD streaming.
A versatile, fully open-source pipeline to extract phenotypic measurements from plant images
- deep-learning
- plant-phenotyping
- nextflow
- scikit-image
Arduino library for ESP32 that implements an SSH client to connect and execute commands in a remote Server.
D3 plugin which computes a 'beeswarm' arrangement
James - The Delphi Project Manager
- delphi
- settings
- management
cTaskDialog (TaskDialogIndirect implementation) universally compatible with VB6/VBA7/twinBASIC x86/x64
- common-controls
- taskdialog
- twinbasic
- vb6
Preact components for easily implementing basic CSS animations and transitions
- preact
- transition
- transition-group
- animation
websocket client pure lua implement for love2d
- websocket
- client
- websocket-client
- lua