coinduction library for Coq
Repository Index
47,133 repositories indexed
38,137–38,160 of 46,432 · Most stars
Dojo 1 - TypeScript Typings (including Dijit and DojoX)
PDF rendering views for the Wagtail CMS
A strategy game based around the actions of RAF Bomber Command in the Second World War.
Automate Meteor deployments on Google Cloud App Engine Flexible
- meteor
- deployment
- hosting
A basic operating system for the Game Boy. Because I can.
Codemod to transform your Ember tests to use @ember/test-helpers
Java library for the Siren Hypermedia Type Specification
Elixir client for the Airbrake service.
A curated collection of Scriptable widgets that I have created
- ios
- scriptable
- scriptable-app
- widget
D bindings for the sokol headers (https://github.com/floooh/sokol)
- bindings
- d
- dlang
- sokol
A collection of customizable hooks for Directus
- cascade
- directus
- directus-extension
- hooks
Wordpress plugin to reduce comment spam with a smarter honeypot.
Unofficial AWS SDK for Common Lisp
- aws
- aws-sdk
- common-lisp
InfluxDB client for Erlang
GBench - The benchmarking module for Groovy
TranslatedHigh-interaction honeypot
A simple library for Elixir that provides json over STDIO
OpenTelemetry auto-instrumentation tool for Golang. It automatically injects OpenTelemetry blocks.
Setup your ES6 Lab.
A jQuery plugin to create draggable content splitters to emulate frames and separate content.
Những lệnh git cơ bản
easy A* (A Star / astar) pathfinding (Haxe)
Gitlab.cr is a GitLab API wrapper written by Crystal
- gitlab-api
- crystal
- gitlab