kellino

Typographer, Sculptor, Programmer

London, UK

Pinned Repositories

arb-sys
Rust bindings to the Arb library
Language:C00
bin
Language:Python00
DiscreteEntropy.jl
Estimation of Shannon Entropy for Discrete Random Variables
Language:Julia3 3 82
dotfiles
Dotfiles
Language:Vim Script0 2 00
Genetic_Composition
simple attempt at an algorithmic composition using a genetic algorithm
Language:Jupyter Notebook0 2 00
medicaldb
UCL Coursework
Language:Java0 2 00
microML
a simple functional language for learners
Language:Haskell30 3 01
Project-Euler-Haskell
Language:Haskell00
SAT
Toy implementations of various SAT algorithms
Language:Haskell0 2 00
TypeSystems
Haskell versions of the type systems from Types and Programming Languages
Language:Haskell2 2 00

kellino's Repositories

kellino/microML
a simple functional language for learners
Language:Haskell30 3 01
kellino/DiscreteEntropy.jl
Estimation of Shannon Entropy for Discrete Random Variables
Language:Julia3 3 82
kellino/TypeSystems
Haskell versions of the type systems from Types and Programming Languages
Language:Haskell2 2 00
kellino/arb-sys
Rust bindings to the Arb library
Language:C00
kellino/bin
Language:Python00
kellino/dotfiles
Dotfiles
Language:Vim Script0 2 00
kellino/Genetic_Composition
simple attempt at an algorithmic composition using a genetic algorithm
Language:Jupyter Notebook0 2 00
kellino/medicaldb
UCL Coursework
Language:Java0 2 00
kellino/Project-Euler-Haskell
Language:Haskell00
kellino/SAT
Toy implementations of various SAT algorithms
Language:Haskell0 2 00
kellino/Trec
coursework for information retrieval
Language:Python00
kellino/UCrawL
Group Project for Information Retrieval Coursework
Language:Java0 5 00
kellino/TB-Risk-Assessment
Hybrid App for UCL
Language:JavaScript2 0
kellino/UntypedLambda
untyped lambda calculus
Language:Haskell2 0
kellino/yalc
Yet Another (Simply Typed) Lambda Calculus
Language:Haskell