Lists (5)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Coq
- D
- Dafny
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- FreeBasic
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- Makefile
- Markdown
- NSIS
- Nix
- OCaml
- PHP
- Perl
- PostScript
- PowerShell
- Prolog
- Python
- QML
- Reason
- Roff
- Ruby
- Rust
- Scala
- Shell
- TLA
- TeX
- TypeScript
- Vim Script
1
star
written in Dafny
Clear filter
The MSR Ironclad project builds provably secure and reliable systems.