tomsmeding Goto Github PK

acc-gpu-crash

accelerate

Embedded language for high-performance array computations

accelerate-llvm

LLVM backend for Accelerate

accelerate-tensorflow

ace

Ace (Ajax.org Cloud9 Editor)

ad-dualrev-th

Implementation of dual-numbers reverse AD with TemplateHaskell

adbench

Benchmarking various AD tools.

adbench-extracted-acc-benchmarks

advi_stan

Prototype theoretical ADVI improvements in Stan - fork

agda-presburger

Deciding Presburger arithmetic in agda

bachelor-thesis

Code for my Bachelor Thesis about Fast Large-Integer Matrix Multiplication at Leiden University.

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.

cas

A project to experiment with mathematical manipulations

circular-buffer

A NodeJS simple circular buffer implementation supporting indexing

codetyper

Typeracer, for code

cuda

Haskell FFI bindings to CUDA

cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

dependent-map

Dependently-typed finite maps (partial dependent products)

dunai

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

editor

My own text editor

efficient-chad-agda

Formalised complexity proof for "Efficient CHAD" in Agda

flow

My own programming language Flow. Work in progress.

fourmolu

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

ghcup-hs

gooi

gooi: the new file e-mailing

gvajnez

Git Voor Als Je Naast Elkaar Zit

haddock

Haskell Documentation Tool