overoxidize

overoxidize's Stars

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust33.6k1874.6k2.5k

• swc-project/swc

  Rust-based platform for the Web

  Language:Rust31.2k1523.6k1.2k

• wez/wezterm

  A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

  Language:Rust17.7k873.6k790

• leptos-rs/leptos

  Build fast web applications with Rust.

  Language:Rust16.3k901k647

• solana-labs/solana

  Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

  Language:Rust13.2k3165.4k4.3k

• ctjhoa/rust-learning

  A bunch of links to blog posts, articles, videos, etc for learning Rust

  11.5k31227766

• erikgrinaker/toydb

  Distributed SQL database in Rust, written as an educational project

  Language:Rust6.2k8950574

• remacs/remacs

  Rust :heart: Emacs

  Language:Emacs Lisp4.6k153523307

• TaKO8Ki/awesome-alternatives-in-rust

  A curated list of replacements for existing software written in Rust

  Language:Rust3.8k8133107

• pkivolowitz/asm_book

  A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level languages.

  Language:Assembly2.6k3519126

• lem-project/lem

  Common Lisp editor/IDE with high expansibility

  Language:Common Lisp2.4k65521175

• rust-lang/chalk

  An implementation and definition of the Rust trait system using a PROLOG-like logic solver

  Language:Rust1.8k70210182

• LuxLang/lux

  The Lux Programming Language

  Language:Emacs Lisp1.7k683550

• gchp/iota

  A terminal-based text editor written in Rust

  Language:Rust1.6k548681

• rabbibotton/clog

  CLOG - The Common Lisp Omnificent GUI

  Language:Common Lisp1.5k43149103

• BillyDM/awesome-audio-dsp

  My curated list of audio DSP and plugin development resources

  89927253

• XWHQSJ/ebooks

  A repository for ebooks， including C, C plus plus, Linux Kernel, Compiler, OS, Algorithm, Security, Database, Network, ML and DL

  Language:C867250344

• autometrics-dev/autometrics-rs

  Easily add metrics to your code that actually help you spot and debug issues in production. Built on Prometheus and OpenTelemetry.

  Language:Rust801105728

• coleslaw-org/coleslaw

  Flexible Lisp Blogware

  Language:Common Lisp559338282

• fitzgen/state_machine_future

  Easily create type-safe `Future`s from state machines — without the boilerplate.

  Language:Rust325162022

• inpla/inpla

  Inpla: Interaction nets as a programming language (the current version)

  Language:Yacc2771218

• shnewto/bnf

  Parse BNF grammar definitions

  Language:Rust25884322

• rustype/typestate-rs

  Proc-macro typestate DSL for Rust

  Language:Rust14252911

• PieterPenninckx/rsynth

  A crate for developing audio plugins and applications in Rust.

  Language:Rust1065293

• sagan-software/eosio-rust

  EOSIO SDK for Rust – APIs for building smart contracts on EOSIO blockchains in Rust

  Language:Rust96211720

• keone/crypto-reading-list

  28102

• mAarnos/Serkr

  An automated theorem prover for first order logic.

  Language:Rust284142

• JonathanLorimer/conceptual-mathematics

  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics

  Language:Agda26300

• obi1kenobi/monad_compiler

  A compiler for the MONAD language from Advent of Code 2021 Day 24

  Language:Rust20412

• uuosio/rscdk

  Rust Smart Contracts Development Kit For EOS

  Language:Rust9176