Repository Index

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

• aadl
• ada

Time-Based One-Time Password (TOTP) and HMAC-Based One-Time Password (HOTP) library for Go.

• hotp
• totp
• totp-codes
• authenticator

Search the web and primary sources, read full pages, and check every citation. MCP server for Claude, Cursor, Codex and more. Runs on your machine.

• ai
• claude
• content-extraction
• go

A Rocq formalization of information theory and linear error-correcting codes

• information-theory
• error-correcting-codes
• probability
• convexity

A tool to verify that your files are in harmony with your .editorconfig

• editorconfig
• composer
• editorconfig-checker
• php

Turms is a pure python implementation of the awesome graphql-codegen library, following a simliar extensible design.

• graphql
• python
• pydantic

A drop-in replacement for Go errors, with some added sugar! Unwrap user-friendly messages, HTTP status code, easy wrapping with multiple error types.

• error-handling
• errors
• go
• golang

Delphi/Lazarus port of QR Code functionality from ZXing, a barcode image processing library. The support for non-standard encodings has been added

CLESH a very short and simple program, written in Common Lisp, that extends Common Lisp to embed shell code in a manner similar to perl's backtick.

Run your coding agents from Telegram. A bridge for Claude Code, Codex, OpenCode, Pi and Antigravity CLI: send tasks by text or voice, watch them work and approve changes from your phone.

• ai-agents
• claude-code
• cli-tools
• codex

The official VS Code extension for the RuboCop linter and code formatter.

• code-formatter
• linter
• rubocop
• ruby

Code repository for The Automation Ahead series, showcasing practical examples for GenAI-driven automation in investments. Each installment dives into specific tools, techniques, and use cases to help professionals assess and apply GenAI effectively.

• data-science
• deep-learning
• finance
• financial-data

Grok WebGL2 and GLSL through a sequence of guided tutorials, each chunked into atomic Q&A cards suitable for spaced repetition, with hands-on projects and solution code integrated throughout.

• creative-coding
• educational-resources
• glsl
• graphics-programming

GPTModels - a multi model, window based LLM AI plugin for neovim, with an emphasis on stability and clean code

• ai
• llm
• neovim
• plugin

A Visual Studio for Mac code coverage extension.

• visual-studio-for-mac
• visual-studio
• vsmac-codecoverage
• visual-studio-extension

Automated migration for new Ember application layout.

MAT is library for working with multi-dimensional arrays which supports efficient interfacing to foreign and CUDA code. BLAS and CUBLAS bindings are available.

Source data and code for National Zoning and Land Use Database

No-code Drag n Drop Form Builder for Svelte

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

• community-driven
• manifesto
• coq

An Open Source Website for running small, local development events

Flare is a lightweight, developer-friendly Swift framework that simplifies working with in-app purchases. It provides a clean, unified API over StoreKit and StoreKit 2, includes async/await-ready workflows, and offers built-in UI components for a seamless integration experience.

• iap
• in-app-purchases
• macos
• swift

Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.

• java-bytecode
• invokedynamic
• java
• jvm-bytecode

TranslatedOpen-source unified usage dashboard for Claude — track tokens, quota, costs across Claude Code, claude.ai & API in one panel. Suitable for Pro/Max subscribers and developers. https://dyp23yngrtumg.ok.kimi.link