ajknapp

Pinned Repositories

accelerate
Embedded language for high-performance array computations
Language:Haskell00
accelerate-ad
Combinatory automatic differentiation in Haskell for heterogeneous computing.
Language:Haskell21 3 00
ajknapp.github.io
Repository for my github pages site.
Language:HTML00
ats-mode-indent
ATS mode, upgraded with some smarter indentation
Language:Emacs Lisp21
ats-nanomq
port of https://github.com/rigtorp/nanomq to ats
Language:ATS20
datoviz
⚡ High-performance GPU interactive scientific data visualization with Vulkan
Language:C00
datoviz-hs
Haskell bindings to datoviz.
Language:Haskell01
dependent-hashmap
Dependent hash maps
Language:Haskell00
janus
An extensible EDSL for high-performance computing.
Language:Haskell20
Juicy.Pixels
Haskell library to load & save pictures
Language:Haskell00

ajknapp's Repositories

ajknapp/accelerate-ad
Combinatory automatic differentiation in Haskell for heterogeneous computing.
Language:Haskell21 3 00
ajknapp/ats-mode-indent
ATS mode, upgraded with some smarter indentation
Language:Emacs Lisp21
ajknapp/ats-nanomq
port of https://github.com/rigtorp/nanomq to ats
Language:ATS20
ajknapp/janus
An extensible EDSL for high-performance computing.
Language:Haskell20
ajknapp/accelerate
Embedded language for high-performance array computations
Language:Haskell00
ajknapp/ajknapp.github.io
Repository for my github pages site.
Language:HTML00
ajknapp/datoviz
⚡ High-performance GPU interactive scientific data visualization with Vulkan
Language:C00
ajknapp/datoviz-hs
Haskell bindings to datoviz.
Language:Haskell01
ajknapp/dependent-hashmap
Dependent hash maps
Language:Haskell00
ajknapp/Juicy.Pixels
Haskell library to load & save pictures
Language:Haskell00
ajknapp/miscellaneous-haskell
Example Haskell Code
Language:Haskell
ajknapp/ml-experiments
Implementations of some interesting machine learning and statistical techniques
Language:Python