- All languages
- Assembly
- AutoHotkey
- Awk
- Batchfile
- Boogie
- C
- C#
- C++
- CSS
- CodeQL
- CoffeeScript
- Coq
- Cython
- D
- Dart
- Dockerfile
- Emacs Lisp
- GAP
- GDScript
- Game Maker Language
- Go
- HLSL
- HTML
- Haskell
- Inno Setup
- Isabelle
- JSON
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Just
- Kaitai Struct
- Kotlin
- LLVM
- Lean
- Lua
- Markdown
- Meson
- Nim
- OCaml
- Objective-C
- Open Policy Agent
- OpenSCAD
- PHP
- Pascal
- PowerShell
- Processing
- Python
- Reason
- Ren'Py
- Roff
- Ruby
- Rust
- SMT
- Sass
- Scala
- Shell
- Standard ML
- Swift
- Tcl
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Zig
- reStructuredText
Starred repositories
1
star
written in Reason
Clear filter