- London, UK
- https://spin.systems
- @permutans
Block or Report
Block or report lmmx
Contact GitHub support about this userβs behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
Grep source code and see useful code context about matching lines
aider is AI pair programming in your terminal
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make applications with no bugs!
An analysis tool for Python that blurs the line between testing and type systems.
Find unused, missing and transitive dependencies in a Python project.
β‘A CLI tool for code structural search, lint and rewriting. Written in Rust
Python bindings to the Tree-sitter parsing library
A attempt to implement a viable record/replay debugger.
Compilation of railway announcement snippets and a website to generate your own announcement snippets.
LLM plugin for interacting with the Claude 3 family of models
Extension for FastAPI to make HTMX easier to use.
App source + Nix packages + Docker = Image
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
</> htmx - high power tools for HTML
Chrome Extension for exploring Hugging Face datasets π
A fast, light, open chat UI with full tool use support across many models
How you (yes, you!) can write a Polars Plugin
Show a live map of the London Underground and London buses
Uncomplicated Observability for Python and beyond! πͺ΅π₯