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
10
stars
written in Java
Clear filter
The official home of the Presto distributed SQL query engine for big data
MARY TTS -- an open-source, multilingual text-to-speech synthesis system written in pure java
An implementation of MobileOrg for the Android platform
A game-theoretic poker player (written in 2005)
Приложение для импорта списков и оценок с Кинопоиска на IMDB
kvj / mobileorg-android
Forked from matburt/mobileorg-androidAn implementation of MobileOrg for the Android platform
Automatically exported from code.google.com/p/boilerpipe