-
DESTASH
- London
- https://www.getdestash.com
- All languages
- ANTLR
- Assembly
- Bicep
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Cuda
- Dafny
- Dart
- Dockerfile
- Elixir
- F#
- G-code
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LiveScript
- MATLAB
- MDX
- Makefile
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- Perl
- PowerShell
- Python
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- Visual Basic .NET
Starred repositories
1
star
written in Dafny
Clear filter
The MSR Ironclad project builds provably secure and reliable systems.