Repository Index

A fast and easy-to-use HTTP-Rest-Client plugin for Neovim, completely written in LUA.

• lua
• neovim-plugin
• http-client

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

Realtime benchmarks for PHP code

• gnuplot
• algorithms
• realtime
• benchmark

Outcome-based persistent memory MCP server for Claude Code and OpenCode. Good advice promoted, bad advice demoted. pip install roampal.

• ai-memory
• claude-code
• llm
• mcp

Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.

Search Engine Interface for Common Lisp.

Docker image for Meteor. Read-only mirror of https://gitlab.com/tozd/docker/meteor

• docker
• docker-image
• meteor

Documentation of the German Open Transport Meetup and Open Transport Data Quality Meetup Meetings

• community
• meetup
• opendata
• opensource

Micropython Library for Lidar Sensor VL53L0X

• micropython
• wipy
• pycom-devices
• lidar

A modern, high-performance C++17 graphics and compute library based on Vulkan

• gpgpu
• gpu
• graphics-library
• rendering

GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell

• haskell
• haskell-application
• cqrs-application
• frp

### This project has been merged ESPHelper. Please use https://github.com/ItKindaWorks/ESPHelper ### A port of the ESPHelper library for ESP32 devices

An Java-based app to communicate with Amazon Alexa for devices such as the Amazon Echo

A fast Common Lisp binary serializer/deserializer

gamera and HUMP compatible scaling grid for LÖVE

Scrivener pagination with headers and web linking

• scrivener
• pagination
• pagination-headers
• http-headers

:speedboat: Demo of preact-compat + react-toolbox to reduce build size by 95%.

• preact
• demo
• preact-demos

A data serialization/contract library for common lisp

• serialization
• common-lisp

Run Elm code from the command line

• elm

A component based game engine for AS3. Master version is currently 0.4.3. Please note, the dev branch is currently under heavy development for 0.5 and should be considered unstable. There will be a few breaking changes.

Plugin component for PlayCanvas which enables support for Spine animations.

• webgl
• spine
• playcanvas
• html5

Configurable Elixir mix task to watch file changes and run the corresponding command.

• mix-tasks
• watch
• testing
• tdd

An open source implementation of some of the applications from Larry Kroeker's DF-EDIT

• bsd
• cli
• command-line
• file-manager

nengi+babylon template of a 3d shooter with client-side prediction and lag compensation