Skip to content
View lmmx's full-sized avatar
🍜
focusing on pho
🍜
focusing on pho

Organizations

@UoMBioinfoSoc @hackmcr15-code-a-la-mode @plotspot @ProgramFiles @copermut @queck @spin-systems @natlog @appendens
Block or Report

Block or report lmmx

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Beta Lists are currently in beta. Share feedback and report bugs.
Showing results

aider is AI pair programming in your terminal

Python 14,727 1,397 Updated Jul 29, 2024

A native symbolic execution engine for WebAssembly

Python 33 2 Updated Jul 6, 2024

symbolic execution engine for Rust

Rust 337 8 Updated Jul 17, 2018

Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.

Coq 25 Updated Jun 26, 2024

Formal verification tool for Rust: check 100% of execution cases of your programs πŸ¦€ to make applications with no bugs! ✈️ πŸš€ βš•οΈ 🏦

Coq 365 10 Updated Jul 28, 2024

An analysis tool for Python that blurs the line between testing and type systems.

Python 984 47 Updated Jul 25, 2024

Find unused, missing and transitive dependencies in a Python project.

Python 808 16 Updated Jul 29, 2024

⚑A CLI tool for code structural search, lint and rewriting. Written in Rust

Rust 6,664 160 Updated Jul 29, 2024

Python bindings to the Tree-sitter parsing library

C 774 94 Updated Jul 29, 2024

A attempt to implement a viable record/replay debugger.

Python 51 5 Updated Dec 20, 2023

Compilation of railway announcement snippets and a website to generate your own announcement snippets.

TypeScript 42 17 Updated Jul 15, 2024

LLM plugin for interacting with the Claude 3 family of models

Python 195 18 Updated Jul 29, 2024

Extension for FastAPI to make HTMX easier to use.

Python 212 9 Updated Jul 29, 2024

App source + Nix packages + Docker = Image

Rust 2,369 227 Updated Jul 29, 2024

The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.

Python 27,242 3,818 Updated Jul 29, 2024

Build better UIs faster.

Python 7,916 302 Updated Jun 26, 2024

</> htmx - high power tools for HTML

JavaScript 35,770 1,208 Updated Jul 29, 2024

parquet file parser for javascript

JavaScript 153 3 Updated Jul 27, 2024

Chrome Extension for exploring Hugging Face datasets πŸ”Ž

TypeScript 37 2 Updated Jul 24, 2024

FastAPI-HTMX Demo Project

CSS 238 31 Updated Jan 15, 2024

A fast, light, open chat UI with full tool use support across many models

Svelte 181 14 Updated Jul 13, 2024

Plot reviews of businesses over time

Rust 2 Updated May 31, 2024

A Three.JS + WASM implementation of Boids.

Rust 6 Updated Nov 13, 2021

download GTFS stops and put them in a k-d tree

Rust 2 Updated Jan 6, 2024

A cross-platform browser ML framework.

Rust 506 28 Updated Jul 25, 2024

How you (yes, you!) can write a Polars Plugin

Python 88 9 Updated Jul 23, 2024

Show a live map of the London Underground and London buses

JavaScript 225 50 Updated Apr 28, 2024
Python 166 26 Updated Jul 29, 2024

Uncomplicated Observability for Python and beyond! πŸͺ΅πŸ”₯

Python 1,763 51 Updated Jul 29, 2024

Generative models for conditional audio generation

Python 2,377 214 Updated Jul 15, 2024
Next