#
Lists (14)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Awk
- BitBake
- C
- C#
- C++
- CSS
- Crystal
- Dockerfile
- Go
- HTML
- Haskell
- Idris
- Io
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Makefile
- Markdown
- Nim
- Nix
- Objective-C
- PHP
- PowerShell
- Pug
- Python
- Roff
- Ruby
- Rust
- SCSS
- Sage
- Scala
- Shell
- Solidity
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Vala
- Visual Basic
- Vue
- Wikitext
- YARA
Starred repositories
1
star
written in Idris
Clear filter
A purely functional programming language with first class types