Repository Index

Program hardware and robots with Python

• micropython
• hardware
• robots

Google Cloud Messaging for application servers implemented using the Go programming language.

Custom components for Ember, inspired by React Hooks approach

• react-hooks
• react-hook
• ember
• emberjs

general value printing within compiled programs

Examples of scripts for accounts, dApps and assets using RIDE programming language.

• ride
• smart-contracts
• dapp-example
• dapp

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

An interpreter for C flat, a music-based programming language

An embeddable implementation of the Ngaro Virtual Machine for Go programs

Programmatic building of JSON schemas (document and field mappings) with validation.

Hamcrest matchers for the Go programming language

A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

• coq
• canonical-structures
• typeclasses
• ssreflect

Learning to program in Lua using "Torch" and other useful libraries

An interactive image processing program for biologists written in Python.

• biologists
• python
• imagej
• calcium

A set of RUST programming questions.

A repo-native coding-agent loop harness for Claude, Codex, Copilot, and other CLI agents. Agents can edit. Gates decide what lands. You set the plan in motion. The agents take a prompt, and each iteration must update specs and commit through guardrails.

• agentic-ai
• automation
• claude-code
• codex-cli

Simple Shopify API for the Go Programming Language

Java scope functions inspired by Kotlin

• functional-programming
• java
• java-utils
• java-utilities

An Ada 2012 implementation of the Rx methodology

• rx
• rxjava
• rxada
• reactive-programming

An example of an eBPF program hooking into the kill tracepoint

The swift-hack-pack is a collection of Swift Playground files that teach Apple's new Swift programming language. It's based on Swift 2.2 and Xcode 7.3.1.

OpenFaaS template for the crystal programming language

Unofficial OpenCV binding for D programming language

Common Lisp system for generating and parsing of OpenSSH keys

• openssh-keys
• quicklisp
• key-pairs
• decoding