8000 W95Psp (Lucas Franceschino) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View W95Psp's full-sized avatar

Block or report W95Psp

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

Starred repositories

Showing results
Rust 1,576 27 Updated May 10, 2025

SMTscope automatically analyses and visualises SMT solver execution traces.

Rust 38 5 Updated Mar 20, 2025

A collaborative note taking, wiki and documentation platform that scales. Built with Django and React.

Python 12,727 345 Updated Jul 4, 2025

like jq but for Markdown: find specific elements in a md doc

Rust 1,566 16 Updated Jun 30, 2025

Synced Lyrics Editor and Maker. Create your own synced lyrics for the music you love – right from your browser. A sound file is required.

Vue 10 Updated Nov 1, 2024

Play multiple blindtests simultaneously alone or with friends

Vue 37 2 Updated Dec 31, 2024

Telegram for Android source

Java 27,009 8,721 Updated Jul 1, 2025

Reparent a running program to a new terminal

C 6,016 222 Updated Jan 15, 2025

Interactive breakpoints!

OCaml 43 2 Updated May 12, 2024

Writing an OS in Rust

HTML 16,669 1,152 Updated Jun 10, 2025

Interactive visualizations of Rust at compile-time and run-time

Rust 2,666 60 Updated Jun 29, 2025

An alternate Cargo registry using static files

Rust 121 3 Updated Mar 3, 2025

A Rust macro to determine if a type implements a logical trait expression

Rust 258 3 Updated Jan 1, 2020

Visualize/analyze a Rust crate's internal structure

Rust 1,128 55 Updated Jun 30, 2025

Typed distributed plugin registration

Rust 1,133 50 Updated Jun 28, 2025

Analysis of various tricky Rust code

Rust 1,919 50 Updated Jun 6, 2025

Collection of general purpose tools for solving problems.

Rust 39 37 Updated Jul 5, 2025

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

C 1,842 55 Updated Jul 4, 2024

Elm-inspired decoders for Ocaml

OCaml 84 9 Updated Jan 15, 2025

Concurrency permutation testing tool for Rust.

Rust 2,395 120 Updated Apr 17, 2025

Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar

Rust 347 36 Updated Apr 10, 2025

Scan your Rust crate for semver violations.

Rust 1,417 103 Updated Jul 5, 2025

Manage system config using nix on any distro

Rust 1,059 34 Updated Jun 30, 2025

Nix package set library

Nix 57 Updated May 8, 2025

🤯 Lobe Chat - an open-source, modern design AI chat framework. Supports multiple AI providers (OpenAI / Claude 4 / Gemini / DeepSeek / Ollama / Qwen), Knowledge Base (file upload / knowledge manage…

TypeScript 63,135 13,126 Updated Jul 5, 2025

Hurl, run and test HTTP requests with plain text.

Rust 16,421 651 Updated Jul 5, 2025

Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

TypeScript 438 24 Updated Jul 3, 2025

#1 Locally hosted web application that allows you to perform various operations on PDF files

Java 63,025 5,334 Updated Jul 5, 2025

a debugger for async rust!

Rust 4,080 162 Updated May 14, 2025

Put Nix in everything!

Python 106 1 Updated Mar 11, 2025
Next
0