Lists (4)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Astro
- Awk
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Dart
- Dhall
- Dockerfile
- EJS
- Elixir
- Elm
- Emacs Lisp
- F#
- GDScript
- GLSL
- Gleam
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Less
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- Python
- Racket
- Reason
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Stylus
- Svelte
- Swift
- TypeScript
- Vala
- Vim Script
- Vue
- Zig
1
star
written in Idris
Clear filter
A purely functional programming language with first class types