Pinned Repositories
play-haskell
Haskell Playground
accelerate
Embedded language for high-performance array computations
ad-dualrev-th
Implementation of dual-numbers reverse AD with TemplateHaskell
circular-buffer
A NodeJS simple circular buffer implementation supporting indexing
editor
My own text editor
gooi
gooi: the new file e-mailing
ircbrowse
An IRC analysis server.
MarioLANG
My interpreter for MarioLANG in C++
pastebin-haskell
Pastebin service in haskell
termio
Double-buffering terminal UI library (light-weight ncurses alternative)
tomsmeding's Repositories
tomsmeding/pastebin-haskell
Pastebin service in haskell
tomsmeding/ad-dualrev-th
Implementation of dual-numbers reverse AD with TemplateHaskell
tomsmeding/ircbrowse
An IRC analysis server.
tomsmeding/gooi
gooi: the new file e-mailing
tomsmeding/accelerate
Embedded language for high-performance array computations
tomsmeding/efficient-chad-agda
Formalised complexity proof for "Efficient CHAD" in Agda
tomsmeding/llvm-hs
Haskell bindings for LLVM
tomsmeding/accelerate-llvm
LLVM backend for Accelerate
tomsmeding/accelerate-tensorflow
tomsmeding/advi_stan
Prototype theoretical ADVI improvements in Stan - fork
tomsmeding/blog.haskell.org-fork
Repository of the Haskell Blog
tomsmeding/c2hs
c2hs is a pre-processor for Haskell FFI bindings to C libraries
tomsmeding/cabal
Fork of the cabal repository
tomsmeding/calchs
Learning project. A calculator implemented in Haskell.
tomsmeding/cuda
Haskell FFI bindings to CUDA
tomsmeding/dunai
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
tomsmeding/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
tomsmeding/ghcup-hs
tomsmeding/github-ci-test
tomsmeding/haskell-containers
Assorted concrete container types (fork)
tomsmeding/i3status
Generates status bar to use with i3bar, dzen2 or xmobar
tomsmeding/libedgetpu
Fork of google-coral/libedgetpu
tomsmeding/linlang
A linear language inspired by "Linear types can change the world"
tomsmeding/llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
tomsmeding/orthotope
tomsmeding/tensorflow
An Open Source Machine Learning Framework for Everyone
tomsmeding/tensorflow-haskell
Haskell bindings for TensorFlow (fork)
tomsmeding/tracy
Frame profiler (fork)
tomsmeding/uu-afp.github.io
UU AFP Summer School Homepage
tomsmeding/vim-agda
Fork of msuperdock/vim-agda with more extensive command set.