Stars
- All languages
- ActionScript
- Agda
- AngelScript
- AppleScript
- Assembly
- Astro
- AutoHotkey
- AutoIt
- Awk
- Batchfile
- Bikeshed
- Blade
- Boogie
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- DIGITAL Command Language
- DTrace
- Dart
- Dockerfile
- Dylan
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- FreeMarker
- Frege
- GDScript
- GLSL
- Game Maker Language
- Gherkin
- Git Attributes
- Go
- Gosu
- Groovy
- HLSL
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- Idris
- JSON
- Jai
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Koka
- Kotlin
- LLVM
- Lean
- Less
- LiveScript
- Lua
- M
- MATLAB
- MDX
- Makefile
- Markdown
- Meson
- NASL
- NSIS
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- Odin
- PHP
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Prolog
- Protocol Buffer
- PureScript
- Python
- QML
- RPM Spec
- Racket
- Raku
- ReScript
- Reason
- Red
- Ren'Py
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Scheme
- Self
- Shell
- Smalltalk
- Standard ML
- Starlark
- Stylus
- Svelte
- Swift
- TLA
- Tcl
- TeX
- Twig
- TypeScript
- Typst
- V
- Vala
- Verilog
- Vim Script
- Visual Basic .NET
- Vue
- WebAssembly
- Wren
- XSLT
- Zig
4
stars
written in Rocq Prover
Clear filter
The CompCert formally-verified C compiler
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
A library for formalizing Haskell types and functions in Coq