FoseFx

FoseFx's Stars

• go-jet/jet

  Type safe SQL builder with code generation and automatic query result data mapping

  Language:Go2.5k117

• nginx/nginx

  The official NGINX Open Source repository.

  Language:C24.4k6.9k

• NilsIrl/dockerc

  container image to single executable compiler

  Language:Zig2.8k40

• loco-rs/loco

  🚂 🦀 The one-person framework for Rust for side-projects and startups

  Language:Rust4k169

• flux-rs/flux

  Refinement Types for Rust

  Language:Rust64218

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq40114

• sqlc-dev/sqlc

  Generate type-safe code from SQL

  Language:Go12.3k780

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML94583

• vueuse/vueuse

  Collection of essential Vue Composition Utilities for Vue 2 and 3

  Language:TypeScript19.8k2.5k

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.1k50

• openbao/openbao

  OpenBao exists to provide a software solution to manage, store, and distribute sensitive data including secrets, certificates, and keys.

  Language:Go2.9k117

• aaronjanse/dns-over-wikipedia

  Redirect `.idk` domains using Wikipedia

  Language:Rust1.5k21

• cloudflare/orange

  Language:TypeScript1.5k196

• openobserve/openobserve

  🚀 10x easier, 🚀 140x lower storage cost, 🚀 high performance, 🚀 petabyte scale - Elasticsearch/Splunk/Datadog alternative for 🚀 (logs, metrics, traces, RUM, Error tracking, Session replay).

  Language:Rust12.1k442

• opensearch-project/OpenSearch

  🔎 Open source distributed and RESTful search engine.

  Language:Java9.6k1.8k

• valkey-io/valkey

  A flexible distributed key-value datastore that supports both caching and beyond caching workloads.

  Language:C16.3k607

• AeneasVerif/aeneas

  A verification toolchain for Rust programs

  Language:OCaml18114

• kffl/speedbump

  TCP proxy for simulating variable, yet predictable network latency :globe_with_meridians::hourglass_flowing_sand:

  Language:Go1.5k34

• authzed/spicedb

  Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data

  Language:Go5k267

• greyblake/nutype

  Rust newtype with guarantees 🇺🇦 🦀

  Language:Rust1.4k23

• PointsUnknown/PointsUnknown.github.io

  Language:HTML81

• cerbos/cerbos

  Cerbos is the open core, language-agnostic, scalable authorization solution that makes user permissions and authorization simple to implement and manage by writing context-aware access control policies for your application resources.

  Language:Go3k128

• data61/PSL

  Language:Isabelle659

• josephg/diamond-types

  The world's fastest CRDT. WIP.

  Language:Rust1.6k29

• jackc/pgx

  PostgreSQL driver and toolkit for Go

  Language:Go10.4k827

• jetify-com/typeid-sql

  SQL implementation TypeIDs: type-safe, K-sortable, and globally unique identifiers inspired by Stripe IDs

  Language:PLpgSQL805

• helpwave/pg-fingerprint-action

  Compare ASTs of postgres sql queries (migrations)

  Language:TypeScript2

• opentofu/opentofu

  OpenTofu lets you declaratively manage your cloud infrastructure.

  Language:Go22.7k869

• eyre-rs/eyre

  A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications

  Language:Rust1.4k64

• rust-secure-code/cargo-auditable

  Make production Rust binaries auditable

  Language:Rust63027