Tom Smeding's repositories
pastebin-haskell
Pastebin service in haskell
circular-buffer
A NodeJS simple circular buffer implementation supporting indexing
ad-dualrev-th
Implementation of dual-numbers reverse AD with TemplateHaskell
accelerate
Embedded language for high-performance array computations
efficient-chad-agda
Formalised complexity proof for "Efficient CHAD" in Agda
accelerate-llvm
LLVM backend for Accelerate
advi_stan
Prototype theoretical ADVI improvements in Stan - fork
agda-presburger
Deciding Presburger arithmetic in agda
bubblewrap
Unprivileged sandboxing tool
c2hs
c2hs is a pre-processor for Haskell FFI bindings to C libraries
cabal
Fork of the cabal repository
calchs
Learning project. A calculator implemented in Haskell.
cuda
Haskell FFI bindings to CUDA
dunai
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
haskell-containers
Assorted concrete container types (fork)
libedgetpu
Fork of google-coral/libedgetpu
llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
tensorflow
An Open Source Machine Learning Framework for Everyone
tensorflow-haskell
Haskell bindings for TensorFlow (fork)
tracy
Frame profiler (fork)
uu-afp.github.io
UU AFP Summer School Homepage
vim-agda
Fork of msuperdock/vim-agda with more extensive command set.