Dev

2271 bookmarks

Newest

World of Rocq

Rocq is a general-purpose, industrial-strength interactive theorem prover.

Programming language #Type: Open-Source

·rocq-prover.org·Nov 9, 2025

World of Rocq

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.

VSCode extension #Software: Extension

·github.com·Nov 9, 2025

godotengine/godot-vscode-plugin: Godot development tools for VSCode

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

VSCode extension #Software: Extension #Source Code: GitHub

·github.com·Nov 9, 2025

sveltejs/language-tools: The Svelte Language Server, and official extensions which use it

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

VSCode extension #Software: Extension #Source Code: GitHub

·github.com·Nov 9, 2025

ErikEJ/SqlCeToolbox: SQLite & SQL Server Compact Toolbox extension for Visual Studio, SSMS (and stand alone)

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.

VSCode extension #Software: Extension

·wholetomato.com·Nov 9, 2025

Visual Assist | Visual Studio Extension for C/C++/C# Developers

AGENTS.md

AGENTS.md is a simple, open format for guiding coding agents. Think of it as a README for agents.

Markup language #Software: AI

·agents.md·Nov 8, 2025

AGENTS.md

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.

Compiler

·webassembly.org·Nov 8, 2025

WebAssembly

GraphQL Yoga | Yoga

A fully-featured, simple to set up, performant and extendable server

Back-end framework

·the-guild.dev·Nov 8, 2025

GraphQL Yoga | Yoga

Socket.IO

Source-code: https://github.com/socketio/socket.io

JS library #Software: Framework #Type: Open-Source

·socket.io·Nov 8, 2025

Socket.IO

KVision

Object oriented web framework for Kotlin/JS

Full-stack framework #Software: Framework #Type: Open-Source

·kvision.io·Nov 8, 2025

KVision

Kobweb

Source-code: https://github.com/varabyte/kobweb

Full-stack framework

·kobweb.varabyte.com·Nov 8, 2025

Kobweb

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.

Back-end framework

·perfect.org·Nov 8, 2025

Server-Side Swift is here: it's Perfect

Actix Web

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust

Full-stack framework #Software: Framework #Type: Open-Source

·actix.rs·Nov 8, 2025

Actix Web

Nuxt Studio - The Git-based CMS for Nuxt

Source-code: https://github.com/nuxt-content/studio

CMS (Content management systems)#OS Compatibility: web app

·nuxt.studio·Nov 6, 2025

Nuxt Studio - The Git-based CMS for Nuxt

toon-format/toon: 🎒 Token-Oriented Object Notation (TOON) – JSON for LLM prompts at half the tokens

🎒 Token-Oriented Object Notation (TOON) – JSON for LLM prompts at half the tokens. Spec, benchmarks & TypeScript implementation. - toon-format/toon

Markup language #Source Code: GitHub #Type: Open-Source

·github.com·Nov 6, 2025

toon-format/toon: 🎒 Token-Oriented Object Notation (TOON) – JSON for LLM prompts at half the tokens

Authlib

Source-code: https://github.com/authlib/authlib

Library (computing)#Type: Open-Source

·authlib.org·Oct 25, 2025

Authlib

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

Obsidian plugin #Source Code: GitHub #Type: Open-Source

·github.com·Oct 12, 2025

Moyf/yearly-glance: An obsidian plugin to build "year at a glance" view.

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

Obsidian plugin #Source Code: GitHub #Type: Open-Source

·github.com·Oct 12, 2025

filippov112/obsidian-sortable-tables: A plugin for Obsidian that adds the ability to interactively sort Markdown tables in preview mode.

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

Obsidian plugin #Source Code: GitHub #Type: Open-Source

·github.com·Oct 12, 2025

blacksmithgu/datacore: Work-in-progress successor to Dataview with a focus on UX and speed.

Notebook Navigator - Modern File Explorer for Obsidian

Transform your Obsidian workflow with dual-pane navigation, rich previews, and powerful organization features.

Obsidian tools

·notebooknavigator.com·Oct 12, 2025

Notebook Navigator - Modern File Explorer for Obsidian

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 ...

Obsidian plugin #Source Code: GitHub #Type: Open-Source

·github.com·Oct 12, 2025