- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Cuda
- Erlang
- F*
- Frege
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- OCaml
- Objective-C
- Perl
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- SystemVerilog
- TeX
- TypeScript
- Vue
Starred repositories
35
stars
written in Rust
Clear filter
A mostly functional haskell compiler written in rust
Software rasterization, N-Body simulation and Game of Life in Rust + Haskell
Maniplate `&'static str` (e.g., `concat!`, `format!`) in Rust without pain!