danilkolikov

Programmer, juggler, wanderer

Pinned Repositories

agda-mode
agda-mode on Atom
Language:TypeScript0 2 00
categories
Category Theory
Language:Idris19 2 11
cms
Conceptions of modern science
Language:Java1 4 00
dfl
Differentiable Functional Language
Language:Haskell6 2 00
fnn
Experimental Language for Designing of Neural Networks
Language:Kotlin3 3 00
fsfc
Feature Selection for Clustering
Language:Python95 7 628
logowriter
Logo Writer Online
Language:JavaScript6 2 10
os
Repository for the Operation Systems course
Language:C++0 2 00
prover
Prover of logic theorems
Language:Haskell0 2 00
setoids
Idris proofs for extensional equalities
Language:Idris7 2 11

danilkolikov's Repositories

danilkolikov/fsfc
Feature Selection for Clustering
Language:Python95 7 628
danilkolikov/categories
Category Theory
Language:Idris19 2 11
danilkolikov/setoids
Idris proofs for extensional equalities
Language:Idris7 2 11
danilkolikov/dfl
Differentiable Functional Language
Language:Haskell6 2 00
danilkolikov/logowriter
Logo Writer Online
Language:JavaScript6 2 10
danilkolikov/fnn
Experimental Language for Designing of Neural Networks
Language:Kotlin3 3 00
danilkolikov/cms
Conceptions of modern science
Language:Java1 4 00
danilkolikov/agda-mode
agda-mode on Atom
Language:TypeScript0 2 00
danilkolikov/os
Repository for the Operation Systems course
Language:C++0 2 00
danilkolikov/prover
Prover of logic theorems
Language:Haskell0 2 00
danilkolikov/proxy
Proxy Server
Language:C++2 01