Pinned Repositories
aoc
My https://adventofcode.com across the years
aperf
A tool for loop perforation in OCaml
camlimages
camlimages with patches for use in ocaml-multicore
concatenative-python
datakit-ssh
ocaml-ray
parallelized ray tracer in ocaml
ourlang
Coq Mechanization for "The Essence of Online Data Processing", Dexter, Liu, Chiu, OOPSLA '22
pdfserve
Serve your pdf files one page at a time with page saving
pycue
Python library for CUE https://cuelang.org/
vx
a text editor
philipdexter's Repositories
philipdexter/pycue
Python library for CUE https://cuelang.org/
philipdexter/concatenative-python
philipdexter/robopet
philipdexter/aoc
My https://adventofcode.com across the years
philipdexter/ourlang
Coq Mechanization for "The Essence of Online Data Processing", Dexter, Liu, Chiu, OOPSLA '22
philipdexter/A3C
Async Advantage Actor Critic
philipdexter/angle-grinder
Slice and dice logs on the command line
philipdexter/aspect
philipdexter/balarm
philipdexter/clojure-crack
philipdexter/consul
Consul with Reflective Consistency
philipdexter/copper
An exploration of test doubles for Elixir
philipdexter/credo
A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
philipdexter/cue
Validate and define text-based and dynamic configuration
philipdexter/cv
philipdexter/dot-files
my configuration files
philipdexter/emacs-config
philipdexter/factor
Factor programming language - GitHub mirror of official GIT repo
philipdexter/factor-dynamic-nn
philipdexter/factor-roaring
philipdexter/gh-notify
GitHub CLI extension to display GitHub notifications
philipdexter/latex.mold
philipdexter/ltree
Lazy binary search tree in OCaml
philipdexter/milk
git milk?
philipdexter/neolite
Tiny neo4j in go for exploring data-centric laziness
philipdexter/philipdexter.github.io
philipdexter/rain
A programming language.
philipdexter/std.mold
philipdexter/vimtex
A modern vim plugin for editing LaTeX files.
philipdexter/ycsb-consul