Mostly Rust, Elm, Haskell, Agda, HoTT
- Kyiv, Ukraine
- http://twitter.com/ko_bx
- @ko_bx
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- Erlang
- F#
- Futhark
- Go
- Groovy
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Just
- KiCad Layout
- Lua
- MATLAB
- Macaulay2
- Makefile
- Mathematica
- Nix
- OCaml
- Objective-C
- Pony
- PostScript
- Puppet
- PureScript
- Python
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Svelte
- Swift
- TeX
- Thrift
- TypeScript
- Vala
- Verilog
- Vue
- XSLT
- Zig
1
star
written in Vala
Clear filter
At last – a modern terminal emulator (NO LONGER MAINTAINED)