🐈
Highlights
- Pro
Lists (16)
Sort Name ascending (A-Z)
- All languages
- Assembly
- C
- C++
- CMake
- CSS
- Clojure
- Coq
- Cuda
- D
- Dafny
- Dockerfile
- Elixir
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- LiveScript
- Lua
- MLIR
- Makefile
- Markdown
- Mojo
- OCaml
- Perl
- Python
- Roff
- Ruby
- Rust
- SWIG
- Scala
- Shell
- Standard ML
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- Verilog
- WebAssembly
- Zig
Starred repositories
6
stars
written in Shell
Clear filter
Mirror of https://gitlab.redox-os.org/redox-os/redox
Fast, light, simple Docker containers & Linux machines
umbrelOS for Raspberry Pi 4 (only). Covert your Raspberry Pi into a home server in one click. For other hardware, checkout https://github.com/getumbrel/umbrel
Tsurugi - next generation RDB for the new era
Course website for Systems Verification Fall 2024