avitex

avitex's Stars

• zed-industries/zed

  Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

  Language:Rust51.8k22710k3.3k

• meilisearch/meilisearch

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

  Language:Rust48.4k2872k1.9k

• coqui-ai/TTS

  🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production

  Language:Python36.3k2981.1k4.5k

• krisk/Fuse

  Lightweight fuzzy-search, in JavaScript

  Language:JavaScript18.5k136550777

• githubnext/monaspace

  An innovative superfamily of fonts for code

  Language:TypeScript14.6k58211251

• vosen/ZLUDA

  CUDA on non-NVIDIA GPUs

  Language:Rust10k135182660

• electric-sql/pglite

  Lightweight WASM Postgres with real-time, reactive bindings.

  Language:TypeScript9.9k59184217

• BloopAI/bloop

  bloop is a fast code search engine written in Rust.

  Language:Rust9.5k65146571

• hrvach/deskhop

  Fast Desktop Switching Device

  Language:C6.6k55132192

• stalwartlabs/mail-server

  Secure & Modern All-in-One Mail Server (IMAP, JMAP, POP3, SMTP)

  Language:Rust5.6k41583248

• EpicGamesExt/raddebugger

  A native, user-mode, multi-process, graphical debugger.

  Language:C3.6k45300186

• cozodb/cozo

  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

  Language:Rust3.5k44151111

• getgrit/gritql

  GritQL is a query language for searching, linting, and modifying code.

  Language:Rust3.2k818184

• enjoy-digital/litex

  Build your hardware, easily!

  Language:C3.1k97835575

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k241.7k97

• hannobraun/fornjot

  Early-stage b-rep CAD kernel, written in the Rust programming language.

  Language:Rust2.1k30341119

• mun-lang/mun

  Source code for the Mun language and runtime.

  Language:Rust1.9k2712374

• rtic-rs/rtic

  Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

  Language:Rust1.9k31359212

• rust-lang/rustc_codegen_cranelift

  Cranelift based backend for rustc

  Language:Rust1.7k39479103

• amaranth-lang/amaranth

  A modern hardware definition language and toolchain based on Python

  Language:Python1.6k46819176

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k21475109

• josh-project/josh

  Just One Single History

  Language:Rust1.5k1010355

• ricosjp/truck

  Truck is a Rust CAD Kernel.

  Language:Rust1.1k426753

• FoxIO-LLC/ja4

  JA4+ is a suite of network fingerprinting standards

  Language:Rust1k238494

• tvlfyi/tvix

  Tvix - A Rust implementation of Nix. Read-only mirror of https://cs.tvl.fyi/depot/-/tree/tvix

  Language:Rust7201909

• kormax/apple-home-key-reader

  Apple Home Key Reader Implementation

  Language:Python615362647

• multiformats/multiaddr

  Composable and future-proof network addresses

  Language:Go431416386

• meriac/OpenXC7-LiteX

  Container for compiling LiteX HDL FPGA designs using the free OpenXC7 tool chain and GitHub code spaces

  Language:Makefile25503

• oscimp/amaranth_twstft

  Software Defined Radio implementation of a Two Way Satellite Time and Frequency Transfer signal

  Language:MATLAB22456

• niluxv/secmem-proc

  Process hardening in rust

  Language:Rust9141