If you’re a smooth operator, you can infinitely differentiate yourself.
- Berkeley, CA
-
14:58
(UTC -08:00) - alok.github.io
- @TheRevAlokSingh
- https://YouTube.com/@TheRevAlokSingh
- https://letterboxd.com/yuppiemephisto/
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- AppleScript
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Cython
- Dart
- Dhall
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- GAP
- GDB
- Go
- HTML
- Haskell
- Idris
- JSONiq
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- M4
- MATLAB
- Makefile
- Markdown
- Mathematica
- Metal
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Perl
- PostScript
- PureBasic
- PureScript
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sail
- Scala
- Shell
- Slash
- Solidity
- Standard ML
- Swift
- SystemVerilog
- TSQL
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- VBA
- Vim Script
- Vue
- Zig
0
results
for mirror starred repositories
written in Idris
Clear filter