Skip to content
View gingfrederik's full-sized avatar

Block or report gingfrederik

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

XLS: Accelerated HW Synthesis

C++ 1,820 267 Updated Aug 14, 2026

A full featured, fast Command Line Argument Parser for Rust

Rust 16,628 1,228 Updated Aug 12, 2026

A Modern Embedded SQL Database written in Rust

Rust 1,207 44 Updated Jul 8, 2026

An AI skill that provides design intelligence for building professional UI/UX across multiple platforms.

Python 116,483 12,515 Updated Aug 13, 2026

Lean 4 programming language and theorem prover

Lean 8,780 933 Updated Aug 14, 2026

Verified Rust for low-level systems code

Rust 2,853 202 Updated Aug 13, 2026

A precise specification for "Rust lite / MIR plus"

Rust 1,008 56 Updated Jul 27, 2026

An interpreter for Rust's mid-level intermediate representation

Rust 6,496 512 Updated Aug 13, 2026

Creusot helps you prove your Rust code is correct.

Rust 1,821 88 Updated Aug 13, 2026

Taste-Skill - gives your AI good taste. stops the AI from generating boring, generic slop

JavaScript 76,297 5,231 Updated Jul 23, 2026

Application Kernel for Containers

Go 19,075 1,913 Updated Aug 14, 2026

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

Rust 11,766 1,059 Updated Aug 13, 2026

Vulnerability scanner written in Go which uses the data provided by https://osv.dev

Go 10,826 755 Updated Aug 14, 2026

Generate type-safe code from SQL

Go 18,164 1,080 Updated Aug 12, 2026

π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.

Rust 89,940 11,954 Updated Aug 14, 2026

Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.

Rust 30,379 1,779 Updated Aug 1, 2026

EdegQuake 🌋 High-performance GraphRAG inspired from LightRag written in Rust; Transform documents into intelligent knowledge graphs for superior retrieval and generation

Rust 2,069 240 Updated Aug 12, 2026

Self-evolving Context Database for AI Agents. Unify Agent Memory, Knowledge RAG and Skills.

Python 28,398 2,244 Updated Aug 13, 2026

Production-grade Rust-native trading engine with deterministic event-driven architecture

Rust 25,470 3,333 Updated Aug 14, 2026

Shannon is an AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities before they reach production.

TypeScript 46,789 5,402 Updated Aug 14, 2026

A terminal workspace with batteries included

Rust 34,884 1,376 Updated Aug 13, 2026

Anthony Fu's curated collection of agent skills.

TypeScript 5,758 316 Updated Jun 23, 2026

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

C 8,355 370 Updated Jun 2, 2026

Opensource IDE For Exploring and Testing API's (lightweight alternative to Postman/Insomnia)

JavaScript 46,338 2,777 Updated Aug 13, 2026

Backstage is an open framework for building developer portals

TypeScript 34,137 7,546 Updated Aug 13, 2026

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…

Rust 31,030 1,382 Updated Aug 14, 2026

The most intuitive desktop API client. Organize and execute REST, GraphQL, WebSockets, Server Sent Events, and gRPC 🦬

TypeScript 18,985 800 Updated Aug 14, 2026

Lightpanda: the headless browser designed for AI and automation

Zig 33,875 1,563 Updated Aug 14, 2026

An uptime monitoring service that is easy and cheap to run at scale. Create endpoint checks for uptime, latency, and status code. Supports OpsGenie for alerts.

TypeScript 749 60 Updated Sep 8, 2025

Development at the speed of light

Rust 25,009 1,040 Updated Aug 14, 2026
Next