#
- Stockholm, Sweden.
- http://www.fishtank.se
- All languages
- ActionScript
- AppleScript
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- D
- DCPU-16 ASM
- Dart
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- Fennel
- GLSL
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- MoonScript
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- PHP
- PLpgSQL
- PostScript
- Prolog
- Python
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Starlark
- Swift
- TeX
- TypeScript
- Vala
- Vim Script
- WebAssembly
- Wren
- XSLT
- Zig
- xBase
Starred repositories
1
star
written in Coq
Clear filter
Mindless, verified (erasably) coding using dependent types