Best-practices and coding conventions for the {less} css pre-processing language
Repository Index
79,350 visible repositories in the index
24,601–24,624 of 25,609 · Most stars
Map of #ferguson walk out actions planned for Dec 1, 2014
A node to decrypt encrypted Owntracks location messages.
Creates GraphQL connections for all registered Posts 2 Posts connections.
A simple Elixir interface to Bing's translation API.
- elixir
- bing-translator
Demonstration of the inspectIT APM tool with distributed version of Spring Petclinic built with Spring Cloud
QUnit integration for the Play! Framework
LibRHash for Pascal
Vim plugin for scaffolding Elixir code and corresponding tests.
- code-generation
- developer-tools
- elixir
- neovim
Open BTC 5-minute prediction market sandbox for AI agents — register with one API call, get 1,000 test credits, and place a live order
- ai-agents
- prediction-markets
- starter-template
- trading-bot
A CPU and peripherals implementing the Gameboy (TM) instruction set and functionality
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library
SPARK formal verification automated with Travis CI
Zero-dependency Go implementation of the Unix getopt function, tested against GNU libc.
- cli
- getopt
- gnu
- go
Bind a context to all functions in an object, including deeply nested functions.
- function
- bind
- context
- object
A Swift playground demonstrating how to use Core Animation
- swift-playgrounds
Abstractions and utilities to get rid of boilerplate code in business logic
- datastructures
- generic
- go
- golang
DOM selection and manipulation using BEM (Block, Element, Modifier).
- bem
- dom
- block
- element
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.
An UI and API for mididings https://github.com/mididings/mididings
- mididings
- live-music-automation
- osc-integration
- python-midi
Tag based configuration loader from different providers
- go
- golang
- configuration
- struct
Sniff packet Communications Between Real Gameboy And Real Gameboy Printer