Beast code in Giters

Summer1ce's starred repositories

tsltools

Library and tools for the TSL specification format

Language:HaskellNOASSERTION900

circuit-repair

Iterative Circuit Repair Against Formal Specifications

Language:PythonMIT500

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:PythonNOASSERTION8262800

GNNPapers

Must-read papers on graph neural networks (GNN)

1590700

NeuroSynt

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

Language:PythonNOASSERTION100

ecapture

Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.

Language:CApache-2.01301500

kubernetes

Production-Grade Container Scheduling and Management

Language:GoApache-2.011019600

cargo-machete

Remove unused Rust dependencies with this one weird trick!

Language:RustMIT73400

MaaAssistantArknights

《明日方舟》小助手，全日常一键长草！| A one-click tool for the daily tasks of Arknights, supporting all clients.

Language:C++AGPL-3.01373900

linkding

Self-hosted bookmark manager that is designed be to be minimal, fast, and easy to set up using Docker.

Language:PythonMIT632600

HivisionIDPhotos

⚡️HivisionIDPhotos: a lightweight and efficient AI ID photos tools. 一个轻量级的AI证件照制作算法。

Language:PythonApache-2.01049000

awesome-chatgpt-prompts

This repo includes ChatGPT prompt curation to use ChatGPT better.

Language:HTMLCC0-1.011124300

bon

Next-gen compile-time-checked builder generator, named function's arguments, and more!

Language:RustApache-2.0109300

awesome-for-beginners

A list of awesome beginners-friendly projects.

6808400

juicefs

JuiceFS is a distributed POSIX file system built on top of Redis and S3.

Language:GoApache-2.01063700

backon

Make retry like a built-in feature provided by Rust.

Language:RustApache-2.068400

tquic

A high-performance, lightweight, and cross-platform QUIC library

Language:RustNOASSERTION107200

site

Multilingual Static Website Framework (Built-in Markdown Translation) / 纯静态的多语言网站框架（内置Markdown翻译）

Language:CoffeeScript1400

rust-plus-golang

Rust + Go — Call Rust code from Go using FFI

Language:MakefileWTFPL71100

slugs

SmalL bUt Complete GROne Synthesizer

Language:CNOASSERTION3500

kubeblocks

KubeBlocks is an open-source control plane software that runs and manages databases, message queues and other stateful applications on K8s.

Language:GoAGPL-3.0207600

tonbo

A portable embedded database using Arrow.

Language:RustApache-2.064300

hack-SysML

The road to hack SysML and become an system expert

Language:Emacs Lisp42600

utoipa

Simple, Fast, Code first and Compile time generated OpenAPI documentation for Rust

Language:RustApache-2.0223700

vnt

An efficient VPN. 简便高效的异地组网、内网穿透工具

Language:RustApache-2.0128400

ZLUDA

CUDA on ??? GPUs

Language:RustApache-2.0898300

nvimdots

A well configured and structured Neovim.

Language:LuaBSD-3-Clause291000

hardware-effects

Demonstration of various hardware effects.

Language:C++MIT282800

rust-pretty-assertions

Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.

Language:RustApache-2.0118700

meilisearch

A lightning-fast search API that fits effortlessly into your apps, websites, and workflow

Language:RustMIT4674300