azaika

azaika's Stars

• ventoy/Ventoy

  A new bootable USB solution.

  Language:C63.9k6652.3k4.1k

• ggerganov/whisper.cpp

  Port of OpenAI's Whisper model in C/C++

  Language:C++36.8k3191.4k3.8k

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.6k111906479

• macmade/Hot

  Hot is macOS menu bar application that displays the CPU speed limit due to thermal issues.

  Language:Swift2.5k279698

• orlp/pdqsort

  Pattern-defeating quicksort.

  Language:C++2.4k7312102

• zesterer/ariadne

  A fancy diagnostics & error reporting crate

  Language:Rust1.8k97379

• hacl-star/hacl-star

  HACL*, a formally verified cryptographic library written in F*

  Language:F*1.6k78230170

• whitequark/unfork

  unfork(2) is the inverse of fork(2). sort of.

  Language:C++1.5k23033

• gnzlbg/cargo-asm

  cargo subcommand showing the assembly or llvm-ir generated for Rust code

  Language:Rust1.2k166337

• gfngfn/SATySFi

  A statically-typed, functional typesetting system

  Language:OCaml1.2k5316785

• ishitatsuyuki/LatencyFleX

  Vendor agnostic latency reduction middleware. An alternative to NVIDIA Reflex.

  Language:C++824184322

• videah/SkyBridge

  A work in progress bridge/proxy that lets you use Mastodon apps with Bluesky

  Language:Dart578137541

• rust-lang/a-mir-formality

  a model of MIR and the Rust type/trait system

  Language:Rust293296535

• sugyan/atrium

  Rust libraries for Bluesky's AT Protocol services.

  Language:Rust26563730

• stdgraph/graph-v2

  General-purpose C++ graph library

  Language:C++198133720

• Valkyrja3607/tuning_playbook_ja

  ディープラーニングモデルの性能を体系的に最大化するためのプレイブック

  163304

• MPI-SWS/genmc

  Generic model checker for concurrent C programs (mirror repository)

  Language:C++137156121

• facebook/ocamlrep

  Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and data structures synchronized, and enable seamless exchange between OCaml and Rust

  Language:Rust13015121

• shitcorp/todobot

  📝🤖 Simple, efficient and most importantly elegant TODO Bot. A virtual TODO List right inside your Discord server!

  Language:TypeScript696379

• osa1/lexgen

  A fully-featured lexer generator, implemented as a proc macro

  Language:Rust663497

• rust-lang/project-stable-mir

  Define compiler intermediate representation usable by external tools

  Language:Rust63196812

• loliGothicK/deriving_via

  Flexible deriving macro for new-type pattern.

  Language:Rust38143

• maekawatoshiki/long

  C++ Compiler

  Language:Rust2152

• hakatashi/atcoder-auto-submitter

  Fully-automated AtCoder submitter backed by OpenAI Codex.

  Language:Python1940

• pavelfeldman/pdl

  Language:JavaScript16309

• onihusube/rivet

  Utility to simplify the creation of range adaptors after C++20

  Language:C++7201

• cheng-lim/Fire

  Language:Dart6200

• SoftwareFoundationGroupAtKyotoU/consort

  Language:OCaml410271

• liewecmays/typora_extension

  Language:JavaScript110

• yoshisatoyanagisawa/ServiceWorker

  Service Workers

  Language:HTML1001