Lists (1)
Stars
A desktop app for isolated, parallel agentic development
Spec-driven development (SDD) for AI coding assistants.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Official Notion JavaScript Client
Sparnatural : visual knowledge graph explorer with SPARQL, in the browser, configurable with SHACL
D2 is a modern diagram scripting language that turns text to diagrams.
Official Elixir Language Server Protocol implementation
A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
The simplest and fastest way to bundle your TypeScript libraries.
Digital wallet with eIDAS 2.0 compliancy, ISO 18013-5 mdocs, IETF SD-JWT VC, OID4VC, and W3C VCs.
Issue, hold and verify digital identities and credentials on any device with eIDAS 2.0 compliancy, ISO 18013-5 mdocs, IETF SD-JWT VC, OID4VC, and W3C VCs.
Logtalk - declarative object-oriented logic programming language
Modelio is a modeling solution offering a wide range of functionalities based on the main standards of enterprise architecture, software development and systems engineering.
Declaratively deploy your Kubernetes manifests, Kustomize configs, and Charts as Helm releases. Generate all-in-one manifests for use with ArgoCD.
Development Containers: Use a container as a full-featured development environment.
The day-to-day front-end to the IETF database for people who work on IETF standards.
A Java implementation of Concise Binary Object Representation (RFC 8949)
Open-source data movement for ELT pipelines and AI agents — from APIs, databases & files to warehouses, lakes, and AI applications. Both self-hosted and Cloud.
Dapr is a portable runtime for building distributed applications across cloud and edge, combining event-driven architecture with workflow orchestration.