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#
- Fluent
- Futhark
- Go
- Groovy
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Just
- KiCad Layout
- Lua
- MATLAB
- Macaulay2
- Makefile
- Nix
- OCaml
- Objective-C
- Pony
- PostScript
- Puppet
- PureScript
- Python
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Svelte
- Swift
- TeX
- Thrift
- TypeScript
- Vala
- Verilog
- Vue
- Wolfram Language
- XSLT
- Zig
14
stars
written in HTML
Clear filter
Convert PDF to HTML without losing text or format.
A jazzy skin for the Django Admin-Interface (official repository).
Notes and exercise attempts for "An Introduction to Statistical Learning"
Bootstrap offline documentation (v4.4 - v5.3)
A library of Natural Language Processing algorithms for Haskell.
A haskell implementation of the Cassowary linear programming solver.
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid