Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
71,372 visible repositories in the index
4,297–4,320 of 4,940 · Most stars
Partial Commutative Monoids
Common Lisp library for manipulating date/time objects at a higher level
Neovim plugin that adds H/M/L indicators to your line numbers
A Godot plugin helping in building interactive fictions and dialog system
Elasticsearch query builder for golang
Parses a CSS file, finds imports, grabs the content of the linked file and replaces the import statement with it.
Spends CPU cycles so you don't spend tokens. The LLM gets a briefing packet instead of a flashlight in a dark room.
The repository host gives no description.
Node-Red Node that produces formatted Date/Time output using the Moment.JS library. Timezone, dst and locale aware.
Extends supertest to test a GraphQL endpoint
The repository host gives no description.
Machine learning compiler in Go. A from-scratch tinygrad port: graph-rewrite IR, autodiff as a compiler pass, zero-CGO WebGPU backend.
Simple ADSR envelope generator for web audio
one keybind - different (project specific) commands
Collecting, shape-enhancing, validating, fixing and (partially) merging GTFS feeds
Slide deck and playgrounds from this presentation from 360iDev 2016
Multilingual library to easily parse date strings to java.util.Date objects.
Vert.x jOOQ DSL
Standalone desktop ad-blocking setup with complete installer and full local configuration
HWID Spoofer: Full Feature Installer, Desktop-Ready
Mix task to create mix projects that builds into Docker containers.
Basic MicroPython driver for CCS811 on ESP8266 boards
🌌 A script to generate starfields in GameMaker’s GML language
Autodesk 3ds Max 2026 Complete Standalone Setup with Full Feature Set