Interested in Systems software and their formal verification
- All languages
- ATS
- Ada
- Agda
- Assembly
- Batchfile
- Befunge
- BitBake
- Bluespec
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dafny
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- F*
- GDScript
- Go
- Groovy
- HCL
- HLSL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Meson
- Mustache
- NCL
- Nim
- Nix
- OCaml
- PHP
- Pascal
- Perl
- PostScript
- Prolog
- PureScript
- Python
- Racket
- ReScript
- Rich Text Format
- RobotFramework
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Scheme
- Shell
- Smarty
- Standard ML
- Starlark
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
- nesC
- reStructuredText
Starred repositories
3
stars
written in Dockerfile
Clear filter
Autoware - the world's leading open-source software project for autonomous driving
Installation tools and workflows for deploying/building Rust fork esp-rs/rust with Xtensa and RISC-V support
Demonstrates the use of the seL4 crates to construct a simple system