Repository Index

Iterative Linear Quadratic Regulator with auto-differentiatiable dynamics models

• trajectory-optimization
• differential-dynamic-programming
• theano
• dynamics-models

A Python toolkit for processing tabular data

• pandas
• csv
• xml
• xlsx

Quantum Computer Library for Everyone

• quantum
• python
• quantum-computing
• quantum-algorithms

a socket mock framework - for all kinds of socket animals, web-clients included

• python
• testing
• mock
• socket

A TextMate and Sublime Text Bundle for the Elixir programming language

Python game programming in Jupyter notebooks.

INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.

• grading
• assessment
• education
• e-assessment

把智能体当函数，把想法写成程序。Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.

• agentic-ai
• ai-agents
• cli
• developer-tools

RAFCON (RMC advanced flow control) uses hierarchical state machines, featuring concurrent state execution, to represent robot programs. It ships with a graphical user interface supporting the creation of state machines and contains IDE like debugging mechanisms. Alternatively, state machines can programmatically be generated using RAFCON's API.

• robotics
• graphical-programming
• state-machine

First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.

• clojure
• pattern-matching
• functional-programming

Probabilistic programming framework that facilitates objective model selection for time-varying parameter models.

• time-series-analysis
• model-selection
• bayesian-inference
• anomaly-detection

A Genetic Programming platform for Python with TensorFlow for wicked-fast CPU and GPU support.

A Fork of Robocode for python programming

A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang

• domain-specific-language
• gamemaker-studio-2
• dynamically-typed
• compiler

A strongly-typed genetic programming framework for Python

• python
• ipynb
• genetic-programming
• framework

Some very simple examples to get you started with the Line-us API

• gcode-commands
• drawing
• robot
• drawing-machine

Replication package of the paper titled "How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems" published at ICSE-SEIP 2020

• ros
• robotics
• robotics-programming
• dataset

Contest parser for codeforces.com

• codeforces
• competitive-programming

XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.

• python
• asynchronous
• sockets
• tcp

Stream Processing Made Easy

• machine-learning
• reactive-programming
• kafka
• reactive-systems

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

Sublime Text support for the V Programming Language

• v
• vlang
• sublime-text
• sublime-syntax

A three-dimensional esoteric programming language

Teaches students Robot programming in python by having them create code that passes the unit tests

• robotpy
• python
• frc-robot