#
svdev
Follow
Starred repositories
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
The simplest, fastest repository for training/finetuning medium-sized GPTs.
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
TypeDB: the power of programming, in your database
Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
Build a Javascript SDK for your REST api as if it was an ORM
A book about category theory
Traefik plugin which checks JWT tokens for required fields. Supports Open Policy Agent (OPA) and signature validation with JWKS
Dependency-Track is an intelligent Component Analysis platform that allows organizations to identify and reduce risk in the software supply chain.
CycloneDX Software Bill of Materials (SBOM) generator for Python projects and environments
Create CycloneDX Software Bill of Materials (SBOM) from PHP Composer projects
A FAST Kubernetes manifests validator, with support for Custom Resources!
Task manager with Todoist & Nextcloud support designed for GNOME
The home of the CUE language! Validate and define text-based and dynamic configuration
Flux local dev environment with Docker and Kubernetes KIND
An orchestration platform for the development, production, and observation of data assets.
Automagically reverse-engineer REST APIs via capturing traffic
World's fastest log analysis: Ξ» + SQL + JSON + S3
Visualize erlang processes and messages
openFrameworks is a community-developed cross platform toolkit for creative coding in C++.
Ongoing Storj v3 development. Decentralized cloud object storage that is affordable, easy to use, private, and secure.
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
βοΈ π π π Evaluating state of the art in AI
The latest incremental release of SysML v2. Start here.