TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
Repository Index
47,133 repositories indexed
73–96 of 109 · Most stars
Python game programming in Jupyter notebooks.
:hammer: A multiple reverse shell session/client manager via terminal
- socket
- python
- ctf
- attack-defense
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
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
Build innovative Skills with McDonald’s MCP, solve real-world problems, and compete for exclusive 1024 Programmers’ Day prizes.
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming
Read and write Neuroglancer datasets programmatically.
- neuroglancer
- volumetric-data
- python
- cloud
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
Improve the language of your paper before submission
- language-analysis
- python
- proof-reading
- grammar-checker
TranslatedWant to eat McDonald's while managing your body shape? This expert helps you put together a McDonald's (麦麦) meal combo based on your daily calorie expenditure. Based on SP matrix theory, it connects nutrition-based selection with the ordering loop through McDonald's official MCP Server (35 official tools · 14 REST endpoints · zero third-party frontend dependencies).
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
An NLP library for Uralic languages such as Finnish, Skolt Sami, Moksha and so on. Also supporting some non-Uralic languages such as Spanish, French, Arabic, Swedish, Norwegian, Russian and English. LLMs, FSTs and More!
- nlp-library
- uralic-languages
- finnish
- sami
Gateway to send/receive SMS through MQTT using an USB GSM dongle (gammu)
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
Programmatic building of JSON schemas (document and field mappings) with validation.
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.