![docker logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/docker/docker.png)
🍭
An old school GitHub surfer.
Software Architect @𝑯𝑮𝒊𝒈𝒂.
Headhunter @𝑶𝒓𝒊𝒌𝒂.
- Taiwan
-
10:44
(UTC +08:00) - orlys.ma
Highlights
- All languages
- ASL
- ActionScript
- Assembly
- Astro
- Awk
- Batchfile
- Bicep
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Classic ASP
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- Cython
- D
- DIGITAL Command Language
- Dart
- Dockerfile
- Eagle
- Elixir
- Elm
- Erlang
- F#
- F*
- GDScript
- Go
- Groovy
- HCL
- HLSL
- HTML
- Haskell
- Idris
- Isabelle
- JSON
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- Mercury
- Meson
- Metal
- Mustache
- Nim
- Nix
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Processing
- Pug
- Python
- Racket
- Raku
- Reason
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Shell
- Starlark
- Svelte
- Swift
- TeX
- Thrift
- TypeScript
- V
- VBA
- Verilog
- Vim Script
- Vim Snippet
- Visual Basic
- Visual Basic .NET
- Vue
- WebAssembly
- XSLT
- YARA
- Yacc
- Zig
Starred repositories
1
star
written in Idris
Clear filter
A dependently typed programming language, a successor to Idris