Matias Heikkilä's repositories
Language:Vim Script000
mathlib4
The math library of Lean 4
Language:LeanApache-2.0000
Language:TypeScript000
Language:TypeScriptMIT000
Language:JavaScriptMIT000
Language:TypeScriptMIT000
mathlib
Lean mathematical components library
Apache-2.0000
Language:JavaScript000
Language:JavaScriptMIT000
Language:C000
Language:HTML000
Language:HTMLMIT000
Language:HTML000
Language:HTML000
django
The Web framework for perfectionists with deadlines.
BSD-3-Clause000
MIT000
Language:TypeScriptMIT000
Language:Emacs Lisp000
gatsby-starter-blog
Gatsby starter for creating a blog
MIT000
Language:HTML000
super-duper-hdr
Trying some HDR creation algorithms
MIT000
StunningJourney
An experimental VCV plugin
Language:C++CC0-1.0000
Language:R000
evt-ica-empirical
Scripts for the empirical part of our ICA-EVT research paper
reddit_seq2seq
A seq2seq RNN trained on Reddit comments.
Language:PythonMIT000
Language:PythonMIT000