-
Cryspen
- France
- http://lucas.franceschino.fr
Starred repositories
SMTscope automatically analyses and visualises SMT solver execution traces.
A collaborative note taking, wiki and documentation platform that scales. Built with Django and React.
like jq but for Markdown: find specific elements in a md doc
Synced Lyrics Editor and Maker. Create your own synced lyrics for the music you love – right from your browser. A sound file is required.
Play multiple blindtests simultaneously alone or with friends
Interactive visualizations of Rust at compile-time and run-time
A Rust macro to determine if a type implements a logical trait expression
Visualize/analyze a Rust crate's internal structure
Collection of general purpose tools for solving problems.
Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider
Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar
Scan your Rust crate for semver violations.
Manage system config using nix on any distro
🤯 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…
Hurl, run and test HTTP requests with plain text.
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.
#1 Locally hosted web application that allows you to perform various operations on PDF files