Lists (3)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Astro
- AutoHotkey
- Ballerina
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Crystal
- D
- Dart
- Dockerfile
- EJS
- Elixir
- Emacs Lisp
- Erlang
- F#
- Factor
- GDScript
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Haxe
- HolyC
- Idris
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- Lua
- MDX
- Makefile
- Markdown
- Mustache
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- Pascal
- Portugol
- PowerShell
- Prolog
- Python
- R
- Reason
- Ruby
- Rust
- SCSS
- SQL
- Scala
- Scheme
- ShaderLab
- Shell
- Smarty
- Solidity
- Stylus
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- VBA
- VHDL
- Verilog
- Vim Script
- Vue
- Vyper
- YARA
- reStructuredText
Starred repositories
0
results
for forked starred repositories
written in Idris
Clear filter