World of Rocq
Rocq is a general-purpose, industrial-strength interactive theorem prover.
godotengine/godot-vscode-plugin: Godot development tools for VSCode
Godot development tools for VSCode. Contribute to godotengine/godot-vscode-plugin development by creating an account on GitHub.
sveltejs/language-tools: The Svelte Language Server, and official extensions which use it
The Svelte Language Server, and official extensions which use it - sveltejs/language-tools
ErikEJ/SqlCeToolbox: SQLite & SQL Server Compact Toolbox extension for Visual Studio, SSMS (and stand alone)
SQLite & SQL Server Compact Toolbox extension for Visual Studio, SSMS (and stand alone) - ErikEJ/SqlCeToolbox
Visual Assist | Visual Studio Extension for C/C++/C# Developers
Visual Assist for Visual Studio is a productivity tool for refactoring, reading, writing, navigating and generating C/C++/C# code. Try it for free.
AGENTS.md
AGENTS.md is a simple, open format for guiding coding agents. Think of it as a README for agents.
WebAssembly
WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.
GraphQL Yoga | Yoga
A fully-featured, simple to set up, performant and extendable server
KVision
Object oriented web framework for Kotlin/JS
Server-Side Swift is here: it's Perfect
Perfect will simplify your coding by using Swift for all of your server-side and client-side apps.
Actix Web
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust
Nuxt Studio - The Git-based CMS for Nuxt
Source-code: https://github.com/nuxt-content/studio
Moyf/yearly-glance: An obsidian plugin to build "year at a glance" view.
An obsidian plugin to build "year at a glance" view. - Moyf/yearly-glance
filippov112/obsidian-sortable-tables: A plugin for Obsidian that adds the ability to interactively sort Markdown tables in preview mode.
A plugin for Obsidian that adds the ability to interactively sort Markdown tables in preview mode. - filippov112/obsidian-sortable-tables
blacksmithgu/datacore: Work-in-progress successor to Dataview with a focus on UX and speed.
Work-in-progress successor to Dataview with a focus on UX and speed. - blacksmithgu/datacore
Notebook Navigator - Modern File Explorer for Obsidian
Transform your Obsidian workflow with dual-pane navigation, rich previews, and powerful organization features.
johansan/notebook-navigator: Replace the default file explorer in Obsidian with a clean two-pane interface featuring folder tree, tag browsing, file previews, keyboard navigation, drag-and-drop, pinned notes, and customizable display options.
Replace the default file explorer in Obsidian with a clean two-pane interface featuring folder tree, tag browsing, file previews, keyboard navigation, drag-and-drop, pinned notes, and customizable ...
ElmoNeedsArson/Obsidian-3D-embed
Contribute to ElmoNeedsArson/Obsidian-3D-embed development by creating an account on GitHub.
my-bible-obsidian-plugin: Your own customization bible in your personal vault!
Your own customization bible in your personal vault! - GsLogiMaker/my-bible-obsidian-plugin
ML4W Dotfiles Installer
Source-code: https://github.com/mylinuxforwork/dotfiles-installer
obsidianmd/obsidian-maps: Map layout for Obsidian Bases. Display your notes as an interactive map view.
Map layout for Obsidian Bases. Display your notes as an interactive map view. - obsidianmd/obsidian-maps
SDWebImage Home | Documentation
This page contains SDWebImage and its related projects documentation.
Poppler
![Biblioteca Secreta [9775] - Telegram Bot](https://rdl.ink/render/https%3A%2F%2Fcdn1.telesco.pe%2Ffile%2FbbM8sW4OMnZQ_OfRIX_WtF1dnzMs8fzsmGVwEG5PgAEeONN0XGurG9SM4COAemYkrdxIdkaQnOEwIzaS8kBTquOYQdsXlTCs1BXvBTHJg8ThYbbHfeOO3rqxhAsP3mMxqxntG6wcIicrpe8rZyNB2RYwnaIYJKT_ywG2pM9lk1LNaUVm3ouwHlvoLYaJrMawbXyLuoCyO5Dw8-gsetI8Xhp7bYM6-RI7oc5tphwmj_uQ7N-drJ1MwCddq_j-W5pg1u6n9u8uJ7i9T7bFJFs_yk6uYpou1Lpl3Y8hpjQQYSchYM9UVM-LHABCgPBJiDbqmlri9Emlq4m_2s0j1oQHBw.jpg?width=350&height=&ar=16:9&mode=crop&dpr=2)
Biblioteca Secreta [9775] - Telegram Bot
¡Aquí la Biblioteca Secreta! Descarga libros electrónicos en español: charla conmigo y descubre cómo
BotFather - Telegram Bot
BotFather is the one bot to rule them all. Use it to create new bot accounts and manage your existing bots.