Daniel Hines (d4hines)

d4hines

Geek Repo

Company:BrightSpec

Location:Norfolk, VA

Home Page:https://setapay.io

Twitter:@danhines09

Github PK Tool:Github PK Tool

Daniel Hines's repositories

miniml

Experiments in small programming languages for learning.

Language:OCamlLicense:MITStargazers:4Issues:2Issues:0
Language:LigoLANGLicense:MITStargazers:3Issues:3Issues:0

anger

A little tool for working with stacked diffs

Language:OCamlLicense:MITStargazers:2Issues:2Issues:3
Language:OCamlLicense:MITStargazers:0Issues:3Issues:0
Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0
Language:OCamlLicense:MITStargazers:0Issues:1Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

genanki-rs

Rust crate to create Anki decks. Based on the python library genanki

Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:2Issues:0
Language:NixStargazers:0Issues:2Issues:0

ide

Portable flake.nix Neovim IDE setup.

Language:LuaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

leetcode_ocaml

Practicing leetcode stuff in OCaml

Language:OCamlStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:TypeScriptStargazers:0Issues:2Issues:0
Language:TypeScriptStargazers:0Issues:2Issues:0
Language:NixLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

specta

Easily export your Rust types to other languages

Language:RustLicense:MITStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:TypeScriptStargazers:0Issues:2Issues:0

tanenbaum

OCaml Advent of Code starter project

Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

tezos

My fork of the Octez codebase.

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

vscode-gitlens

Supercharge Git inside VS Code and unlock untapped knowledge within each repository — Visualize code authorship at a glance via Git blame annotations and CodeLens, seamlessly navigate and explore Git repositories, gain valuable insights via rich visualizations and powerful comparison commands, and so much more

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:NixStargazers:0Issues:2Issues:0
Language:NixLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

yggit

Custom tool to manage my git workflow

Language:RustStargazers:0Issues:0Issues:0