Daniel Hines's Projects
An in-memory datalog implementation for OCaml.
A tiny (<100 LOC), toy implementation of Datalog in Typescript.
The repository for high quality TypeScript type definitions.
Integrate Deno with Nix
An in-memory incremental Datalog engine based on Differential Dataflow
unclutter your .profile
Working through a Discrete Optimization course on Coursera.
Straightforward local-npm in Docker.
DocSearch - Configurations
A small Clojure helper library for working with Dynamics CRM's Web API.
A simple proxy server that allows a client to bypass NTLM authentication with an On-Premise instance of Dynamics CRM
Use the Esy package manager from Nix
💻 A command line interface for retrieving problems and checking solutions offline from projecteuler.net
Controls for creating finsemble menus, dialogs, and toolbars. Controls are written in react.
An ALM compiler and runtime for reactive systems.
An efficient proof language
Finsemble + Spec + Instaparse + Meander
A library for development of single-page full-stack web applications in clj/cljs
Full featured Cross-platform GameBoy emulator by Rust. Forever boys!.
Manage PR stacks/chains on Github