霖's repositories
compiler
Compiler for Elm, a functional language for reliable webapps.
dhall-haskell
A configuration language guaranteed to terminate
julia
The Julia Language: A fresh approach to technical computing.
kotlin
The Kotlin Programming Language
Nim
Nim is a compiled, garbage-collected systems programming language with a design that focuses on efficiency, expressiveness, and elegance (in that order of priority).
oh-my-zsh
A delightful community-driven (with 1,200+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Pokemon-Terminal
Pokemon terminal themes.
rails
Ruby on Rails
ruby
The Ruby Programming Language
sdk
The Dart SDK, including the VM, dart2js, core libraries, and more.
subsurface
This is the official upstream of the Subsurface divelog program
toggldesktop
Toggl Desktop app for Windows, Mac and Linux
translate-shell
:speech_balloon: Command-line translator using Google Translate, Bing Translator, Yandex.Translate, DeepL Translator, etc.