Cyborg Whisperer (formerly lisply-mcp): the gaming-language upstream. Looking for the plain-language fork? github.com/genworks/lisply-mcp
Repository Index
84,583 visible repositories in the index
34,801–34,824 of 40,276 · Most stars
ImageJ functions and macros for working with thermal image files
- heat-transfer
- temperature-reading
- thermal-imaging
- imagej-macro
Go tool + library that publishes GIS vector data to GeoServer via PostGIS — walks a directory of shapefile / GeoJSON / GeoPackage / KML, loads each into PostGIS via GDAL/OGR, then registers the resulting tables as GeoServer feature types. Idempotent. Tested on GeoServer 2.27 LTS + 2.28 stable.
Dusk is a blazing fast Lua config suited for Full Stack Java development.
- fullstack-development
- java
- javadevelopment
- neovim
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.
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
Handles OAuth and stores slack token
Install `wasm-pack` by downloading the executable
- wasm-pack
- wasm
- webassembly
- github-action
Froggit-Go is a universal Go library, allowing to perform actions on VCS providers.
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 template C++ repository, using CMake and Catch
- cpp
- cpp11
- catch2
- cmake
Create awesome apps on Google App Engine in a snap
- google-app-engine
- groovy-language
- serverless
- no-ops
a feature engineering wrapper for sklearn
Tool for creating reports from Java Flight Recorder dumps
🐝 A Highly Performant and easy to use goroutine pool for Go
- goroutine
- goroutine-pool
- goroutine-scheduling
- task-scheduler
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Realtime benchmarks for PHP code
- gnuplot
- algorithms
- realtime
- benchmark
Fire alarms with system events
- alarm
- fire-alarm
- golang
- system
Colorized streaming JSON output for Go
- golang
- go
- json
- color
A Python toolkit for generating human-readable timetables from GTFS data; uses PANDAS and gtfs_kit
- gtfs
- html-timetables
- public-transport
- public-transportation
Fast YAML native library for Erlang / Elixir
- libyaml
- yaml
- libyaml-library
- erlang
Prometheus.erl Elixir Plugs
- prometheus
- plug
- instrumentation
- collector
The Effect monad, for handling native side effects
Using the Dojo Toolkit for MVC JavaScript applications