Stars
- All languages
- ASL
- Arduino
- Assembly
- Awk
- Batchfile
- Brainfuck
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- D
- Dart
- Dockerfile
- Emacs Lisp
- GLSL
- Go
- HTML
- Haskell
- HolyC
- JSONiq
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LiveScript
- Lua
- MATLAB
- Makefile
- OpenSCAD
- PHP
- Perl
- Prolog
- PureScript
- Python
- QML
- Rich Text Format
- Ruby
- Rust
- Scala
- Shell
- TeX
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- WebAssembly
- Zig
- sed
1
star
written in Coq
Clear filter