Pinned Repositories
backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskell
candid
Rust Candid Library for the Internet Computer
cdk-rs
Rust canister development kit for the Internet Computer.
codex
A ctags file generator for cabal/stack project dependencies.
daml
The DAML smart contract language
davidm-d.github.io
emacsProfile
euler
Code golf euler problems in haskell
fetch
indexed-list-literals
Type safe indexed list literals
DavidM-D's Repositories
DavidM-D/indexed-list-literals
Type safe indexed list literals
DavidM-D/daml
The DAML smart contract language
DavidM-D/backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskell
DavidM-D/candid
Rust Candid Library for the Internet Computer
DavidM-D/cdk-rs
Rust canister development kit for the Internet Computer.
DavidM-D/codex
A ctags file generator for cabal/stack project dependencies.
DavidM-D/euler
Code golf euler problems in haskell
DavidM-D/fetch
DavidM-D/haskell-ide-core-extension
A very simple Haskell IDE Core frontend
DavidM-D/haskell-lsp
Haskell library for the Microsoft Language Server Protocol
DavidM-D/heterogeneous-list-literals
Allows the use of tuples as literals for Heterogeneous collections
DavidM-D/hoogle
Haskell API search engine
DavidM-D/ic
Internet Computer blockchain source: the client/replica software run by nodes
DavidM-D/lucet
Lucet, the Sandboxing WebAssembly Compiler.
DavidM-D/motoko-qr
The Motoko QR Package
DavidM-D/multi-party-eddsa
Rust implementation of multi party Ed25519 signature scheme.
DavidM-D/nanochain
A minimal viable blockchain
DavidM-D/near-sdk-rs
Rust library for writing NEAR smart contracts
DavidM-D/nix_workspaces
This is a collection of my nix development shells
DavidM-D/present
DavidM-D/Rocket
A web framework for Rust.
DavidM-D/ropey
DavidM-D/site
DavidM-D/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
DavidM-D/typed-fs
DavidM-D/typescript-workspace
DavidM-D/vector-sized
DavidM-D/workspaces
A flake which I can use to set up a rust + wasm dev env
DavidM-D/your_template_123
DavidM-D/zfoh.ch
Our homepage