danilkolikov

Danil Kolikov's repositories

Feature Selection for Clustering

Language:PythonMIT86 7 6

Idris proofs for extensional equalities

Language:Idris7 2 1

Differentiable Functional Language

Language:HaskellMIT6 20

Logo Writer Online

Language:JavaScript6 2 1

Experimental Language for Designing of Neural Networks

Language:KotlinMIT3 30

Conceptions of modern science

Language:JavaApache-2.01 40

agda-mode on Atom

Language:TypeScriptMIT020

Repository for the Operation Systems course

Language:C++020

Prover of logic theorems

Language:Haskell000

Proxy Server

Language:C++020