pmwhite's Repositories
pmwhite/anvil
Compile type evolution scripts into stable type descriptions
pmwhite/beautivim
pmwhite/book
Owl Tutorial Book V1
pmwhite/codemirror.next
The next generation of the CodeMirror in-browser editor
pmwhite/Columbot2017
Asee 2016-2017
pmwhite/cryptogram
A cryptogram solver written in ocaml
pmwhite/dune
A composable build system for OCaml.
pmwhite/edusource-vim
pmwhite/gexf-viewer
A GEXF visualizer
pmwhite/homebrew-omnisharp-roslyn
pmwhite/Idris2
A dependently typed programming language, a successor to Idris
pmwhite/js_of_ocaml
Compiler from OCaml to Javascript.
pmwhite/lightsys
pmwhite/matrix-puppet-bridge
Facilitates implementation of double puppeted Matrix bridges
pmwhite/matrix-puppet-groupme
a GroupMe bridge for Matrix
pmwhite/metaedit
An editor for scripts which edit text
pmwhite/minor-c
A language like C, but with fewer features.
pmwhite/nixpkgs
Nix Packages collection
pmwhite/npm-expansions
Send us a pull request by editing expansions.txt
pmwhite/ocaml-css-parser
A CSS parser written in OCaml
pmwhite/ocamlformat
Auto-formatter for OCaml code
pmwhite/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
pmwhite/plinth
A low-level programming language with a small implementation.
pmwhite/pmwhite.github.io
My personal website
pmwhite/pocket-http
pmwhite/racer
Rust Code Completion utility
pmwhite/reu-research
pmwhite/sqlformat
pmwhite/time
Simple time handling in Rust
pmwhite/tutorials
a collection of minimal example programs