DavidM-D

Pinned Repositories

backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskell
Language:Haskell0 1 00
candid
Rust Candid Library for the Internet Computer
Language:Rust0 0 00
cdk-rs
Rust canister development kit for the Internet Computer.
Language:Rust0 0 00
codex
A ctags file generator for cabal/stack project dependencies.
Language:Haskell0 1 00
daml
The DAML smart contract language
Language:Scala1 1 00
davidm-d.github.io
Language:HTML0 1 00
emacsProfile
Language:Emacs Lisp0 0 00
euler
Code golf euler problems in haskell
Language:Haskell0 1 00
fetch
Language:Rust00
indexed-list-literals
Type safe indexed list literals
Language:Haskell2 1 42