Systems language with linear types and capability-based security.
- linear-types
- compiler
- capabilities
83,087 visible repositories in the index
3,745–3,768 of 6,971 · Most stars
Systems language with linear types and capability-based security.
Millisecond decisions, any domain: a 0.8B open "System 1" model that picks between your options with calibrated probabilities. One base, swappable LoRA adapters, on your own hardware.
Single cell current best practices tutorial case study for the paper:Luecken and Theis, "Current best practices in single-cell RNA-seq analysis: a tutorial"
What's in your data? Extract schema, statistics and entities from datasets
Example Spring codebase containing real world examples (CRUD, auth, advanced patterns, etc) that adheres to the RealWorld API spec.
网站服务器管理面板,包含:计划任务 / MySQL管理 / Redis管理 / FTP管理 / SSH管理 / 服务器管理 / Caddy和Nginx配置 / DDNS / FRP可视化配置 / 云存储管理 等功能。可运行于 Windows / Linux / MacOS 等主流系统平台和 树莓派 / 路由器 等ARM设备
Cargo subcommand `release`: everything about releasing a rust crate.
Contains binary releases
I am using this repository to document my devops journey. I follow the process of learning everything by tasks. Every task has an associated objective that encompasses an underlying concept. Concepts including CloudProviders, Containers, ContainersOrchestration, Databases, InfrastructureAsCode, Interview, VersionControl etc in progress
An open source Bitcoin wallet password and seed recovery tool designed for the case where you already know most of your password/seed, but need assistance in trying different possible combinations.
📺 【停止维护】高仿全民直播(全民TV),项目采用 MVP + RXJava + Retrofit + OKHttp + Material Design + Dagger2 + Base + Glide + GreenDao构建。因为全民TV已经凉了,导致App已经连不上了。在这里特意向你推荐MVVMFrame快速开发框架: https://github.com/jenly1314/MVVMFrame
Free browser-based design software.
INCY downloads and release info
The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection — papers across function-level, repository-level, agentic, and smart-contract detection, plus datasets, benchmarks, and surveys.
The All-in-One Database
Simple makefile-based build for musl cross compiler
Mirror of VPP code base hosted at git.fd.io
lol_dba is a small package of rake tasks that scan your application models and displays a list of columns that probably should be indexed. Also, it can generate .sql migration scripts.
TripleA is a turn based strategy game and board game engine, similar to Axis & Allies or Risk.
Hydra, the Nix-based continuous build system [maintainers=@dasj,@Ericson2314]
Read medium.com and medium based articles using google web cache.
Spring Boot + Security: Token Based Authentication example with JWT, Authorization, Spring Data & MySQL
Core protocol repository for Ridera — Mobility RWA on Base. Includes docs, architecture, smart contracts, and protocol design.
Python Keyphrase Extraction module