-
Google
- London
- http:https://beloglazov.info
Block or Report
Block or report beloglazov
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Idris
All languages
Bison
C
C++
CSS
Clojure
CoffeeScript
Dart
Dockerfile
Emacs Lisp
Erlang
Frege
Go
Groovy
HTML
Handlebars
Haskell
Idris
Java
JavaScript
Julia
Jupyter Notebook
Kotlin
Lua
Makefile
Markdown
Mustache
Nim
Nix
OCaml
Objective-C
Perl
PowerShell
PureScript
Python
R
Roff
Ruby
Rust
SCSS
Scala
Shell
Swift
TeX
TypeScript
Vala
Vim Script
WebAssembly
hoon
Nothing to show
Sort by: Most stars
3
stars
written in Idris
Clear filter
xmonad with the X11 abstracted and configured with Idris