#
Highlights
- Pro
- All languages
- Assembly
- AutoHotkey
- Batchfile
- Brainfuck
- C
- C#
- C++
- CSS
- Coq
- Crystal
- Cuda
- Dockerfile
- F#
- F*
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Isabelle
- Jasmin
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- OCaml
- PHP
- Perl
- Prolog
- Python
- Ruby
- Rust
- SMT
- Scala
- Shell
- Solidity
- Standard ML
- Starlark
- Stata
- Swift
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Vue
- WebAssembly
- Zig
Starred repositories
1
star
written in Isabelle
Clear filter