Highlights
Stars
- All languages
- ANTLR
- ASP
- Assembly
- Astro
- AutoIt
- Batchfile
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Cython
- Dafny
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F*
- Faust
- Gnuplot
- Go
- Groff
- Groovy
- HTML
- Hack
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- M4
- MATLAB
- Makefile
- Markdown
- Meson
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- P4
- PHP
- PLpgSQL
- Perl
- PowerShell
- Promela
- Pug
- Python
- R
- Raku
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Shell
- Solidity
- Standard ML
- Starlark
- Stylus
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- YARA
- Zig
- nesC
A curated list of Rust code and resources.
GitHub Action that uploads coverage to Codecov ☂️
Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
A small cross-platform library for retrieving random data from (operating) system source
A directed acyclic graph data structure for Rust.
Flexible concrete Error type built on std::error::Error
Zero-cost asynchronous programming in Rust
Module initialization/global constructor functions for Rust
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
Industry leading face manipulation platform
Novel implementation of a Trie data structure optimized for small, sparse maps
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Firedancer is Jump Crypto's Solana validator software.
JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
FuzzDL: A fuzzer specifically designed for DL libraries.
TR-Fuzz: A fuzzer specifically designed for C compilers.