danilkolikov

Danil Kolikov's starred repositories

Emoji, unicode and general character picker for rofi and rofi-likes

Language:PythonMIT84700

Free monospaced font with programming ligatures

Language:ClojureOFL-1.17692600

Implementation of the Differentiable Neural Computer in Tensorflow

Language:PythonMIT11700

Industrial-strength monadic parser combinator library

Language:HaskellNOASSERTION91200

Torch Containers simplified in PyTorch

Language:Lua8900

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:PythonNOASSERTION8270000

NPY and NPZ support for the JVM

Language:KotlinMIT5300

LaTeX styles for different purposes.

Language:TeXCC0-1.010000

The Agda standard library

Language:AgdaNOASSERTION57600

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION342700