- All languages
- ANTLR
- ActionScript
- Agda
- Assembly
- Boogie
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Ceylon
- Chapel
- Clojure
- Common Lisp
- D
- Dart
- Dhall
- Dockerfile
- Eiffel
- Emacs Lisp
- Erlang
- F#
- Flix
- Fortran
- Frege
- Gleam
- Go
- Grammatical Framework
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- MiniZinc
- Nix
- Nu
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- Oz
- PHP
- Perl
- Pony
- PostScript
- PowerShell
- Prolog
- PureScript
- Python
- R
- Racket
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SVG
- Sail
- Scala
- Shell
- Spline Font Database
- Standard ML
- Swift
- Tcl
- TeX
- TypeScript
- V
- Vala
- Vim Script
- Vue
- WebAssembly
- Witcher Script
- Wren
- XQuery
- XSLT
- Zig
- ooc
Starred repositories
1
star
written in Boogie
Clear filter