Lists (1)
Starred repositories
Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity.
Lean 4 programming language and theorem prover
Stoat for Desktop – application for Windows, macOS, and Linux
Symbolic programming for the next generation of numerical software
Fix X/Twitter and Bluesky embeds! Use multiple images, videos, polls, translations and more on Discord, Telegram and others
Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equat…
Repository for miscellaneous repository management and discussions: https://github.com/revoltchat/revolt/discussions
A Plugin Manager for Bombsquad 1.7+
Plugin to improve viewing Markdown files in Neovim
Network-wide ads & trackers blocking DNS server
Content blocking extension for Samsung Internet and Yandex Browser
Low cost motion capture system for room scale tracking
A free, open source, online digital circuit/logic designer.
Lightning-fast and Powerful Code Editor written in Rust
Vim-fork focused on extensibility and usability
[DEPRECATED] 🔧 🎨 Some syntax highlighting files for the GNU/Nano editor 📝 https://nano-editor.org/
A 2D wave simulator running on the GPU. Can be used for 2D light and sound simulations.
Files related to projects from the V Electronics YouTube channel
Learn how to design systems at scale and prepare for system design interviews
An ultra-simplified explanation to design patterns
Edit, preview and share mermaid charts/diagrams. New implementation of the live editor.
Known filters subscriptions transformed for better compatibility with AdGuard
Integrate Git version control with automatic commit-and-sync and other advanced features in Obsidian.md