Lists (16)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASP
- ActionScript
- Ada
- Assembly
- Batchfile
- Bicep
- Bikeshed
- Bluespec
- Boogie
- C
- C#
- C++
- CSS
- Chapel
- Common Lisp
- Component Pascal
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- Flix
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M
- M4
- MLIR
- Makefile
- Markdown
- Modula-2
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- POV-Ray SDL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Python
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sail
- SaltStack
- Scala
- Scheme
- Shell
- Smali
- Smalltalk
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VHDL
- Verilog
- XSLT
- Zig
Starred repositories
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
An incremental parsing system for programming tools
🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
📊 Cube Core is open-source semantic layer and LookML alternative for AI, BI and embedded analytics
Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.
Hurl, run and test HTTP requests with plain text.
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.
Automatically generates Rust FFI bindings to C (and some C++) libraries.
An implementation of differential dataflow using timely dataflow on Rust.
A static verifier for Rust, based on the Viper verification infrastructure.
cwe_checker finds vulnerable patterns in binary executables
RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).
Use Tree Sitter to parse your own languages in Rust
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
An implementation of differential dataflow using timely dataflow on Rust.
A compiler for the MONAD language from Advent of Code 2021 Day 24