Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Repository Index
47,133 repositories indexed
25–32 of 32 · Most stars
Dynamic Binding for libui (https://github.com/andlabs/libui) in D
D bindings for the sokol headers (https://github.com/floooh/sokol)
- bindings
- d
- dlang
- sokol
Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown
- crystal
- commonmark
- gfm
- markdown
Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)
Plugin that improves support for Github Actions files in Neovim.
A simple and fast JSON parser in ANSI C
- json-parser
- json-api
- json
- c-json
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.