Thanks to visit codestin.com
Credit goes to github.com

d4hines

Follow

Daniel Hines d4hines

Follow

Write the code

66 followers · 97 following

BrightSpec
Norfolk, VA
@danhines09

Achievements

Achievements

d4hines/README.md

Software Engineer

I like OCaml, Haskell, and Rust.

Also:

I worked on the control and analytics platform for an awesome MRR Spectrometer
I led development for a sidechain for Tezos https://github.com/marigold-dev/deku
I tend a NixOS garden: https://github.com/d4hines/beth
I have a few Nix templates: https://github.com/d4hines/nix-templates
~~I get angry at Git: https://github.com/d4hines/anger~~ Migrated to yggit!
I like to visualize module dependencies: https://github.com/d4hines/ocamldepdot

Popular repositories Loading

datalog-ts datalog-ts Public

A tiny (<100 LOC), toy implementation of Datalog in Typescript.

TypeScript 7
ocamldepdot ocamldepdot Public

OCaml 6
melange-next-js melange-next-js Public

Nix 5
miniml miniml Public

Experiments in small programming languages for learning.

OCaml 4
beth beth Public

Nix 3
low-level-programming low-level-programming Public

Practice problems etc. for _Low-Level Programming_ by Igor Zhirkov

Assembly 3