Repository Index

Python bindings for MPI

• python
• parallel-computing
• mpi
• mpi-library

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.

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

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

Pure python parser for Snort/Suricata rules.

• suricata-rules
• suricata-rule
• snort-rules
• snort-rules-generate

Tool for suggesting lemma names in Coq verification projects

• coq
• machine-learning
• name-generation
• pytorch