query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
Repository Index
47,133 repositories indexed
4,897–4,920 of 6,664 · Most stars
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Text-based logic question captcha's for Rails 🚫🤖
A Python toolkit for generating human-readable timetables from GTFS data; uses PANDAS and gtfs_kit
- gtfs
- html-timetables
- public-transport
- public-transportation
Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.
Search Engine Interface for Common Lisp.
Documentation of the German Open Transport Meetup and Open Transport Data Quality Meetup Meetings
- community
- meetup
- opendata
- opensource
MicroPython library for controlling a Semtech SX127x LoRa module over SPI.
Home for Blazor Extensions
- blazor-extensions
- blazor
- webassembly
- wasm
### This project has been merged ESPHelper. Please use https://github.com/ItKindaWorks/ESPHelper ### A port of the ESPHelper library for ESP32 devices
Windows tool to display the internal structure of an MXF (Material eXchange Format) file
- mxf
- inspect
- analyzer
- broadcast
Python package to detect suspicious OSM changesets
A fast Common Lisp binary serializer/deserializer
High-speed approximate nearest neighbors for Ruby
A curated collection of splendid gradients made in Kotlin
DDuce library for Delphi
- delphi
- pascal
- library
- inspector
🤖 A simulated HTTP server for testing client code with configurable responses.
:speedboat: Demo of preact-compat + react-toolbox to reduce build size by 95%.
- preact
- demo
- preact-demos
Service discovery and querying of GraphQL schema's in Vert.x based microservices
- vertx-service-discovery
- vertx
- graphql
- microservices
A data serialization/contract library for common lisp
- serialization
- common-lisp
Ada-language framework
- ada
- ada-language
- arm
- avr
Simulate network link speed
Library and tool for reading, writing, and processing transit data
- gtfs
- gtfs-realtime
- transit
- mobility
Neovim plugin for IWE — markdown notes with LSP: search, backlinks, extract/inline refactoring, knowledge-graph navigation