Stars
- All languages
- AMPL
- ANTLR
- ASL
- ASP
- Ada
- AppleScript
- Assembly
- Astro
- Batchfile
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- EJS
- Elixir
- Emacs Lisp
- GLSL
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Haxe
- JSON
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Kotlin
- LLVM
- Less
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Max
- Nim
- Nix
- OCaml
- Objective-C
- P4
- PEG.js
- PHP
- Perl
- PostScript
- PowerShell
- Pug
- PureScript
- Python
- R
- Reason
- Rez
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Shell
- Solidity
- Starlark
- Stylus
- Svelte
- Swift
- TSQL
- TeX
- TypeScript
- Typst
- V
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
0
results
for mirror starred repositories
written in Coq
Clear filter