#
Starred repositories
AI Pair Programming with Claude Code in Emacs
Homebrew formulas for Mopidy and Mopidy extensions
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Artifact Evaluation for Paper "Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness"
A Pure Emacs (no external packages) IDE like configuration.
Simple C++ and CMake wrapper around tree-sitter.
The Realizable Responsive Unobtrusive Unit is an online runtime monitor framework.
A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal logic.
An implementation of "Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces"
🐢 🌎 📚 a community-owned language-learning platform
Technical report of Kimina-Prover Preview.