zepalmer Goto Github PK

batteries-included

Batteries Included project

bsj

An implementation of Backstage Java as per "Backstage Java: Making a Difference in Metaprogramming".

calendar-cli

Simple command-line CalDav client, for adding and browsing calendar items, todo list items

ddpa-implementation

An implementation of DDPA as per "Higher-Order Demand Driven Program Analysis" (ECOOP 2016)

drsf-implementation

An implementation of DRSF as per "Relative Store Fragments for Singleton Abstraction" (SAS 2017).

dune-yojson-error-demo

A demonstration repository for an error in building a project using the ppx_deriving_yojson rewriter (as of 2018-08-13).

extensional-modular-plume

An implementation of Plume which illustrates the code quality cost of using defunctionalization in lieu of intensional functions with a modular framework.

gejapi

Old library of Java stuff I wrote long ago.

intensional-functions-closure-engine

intensional-functions-ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

intensional-functions-ghc-haddock

Haskell Documentation Tool

intensional-functions-lib

intensional-functions-plume

jekyll-liquid-latex-plugin

Jekyll plugin that defines a useful Liquid Tag for rendering blocks of LaTeX code inside a post

jekyll-pseudo

a trivial psuedo code formatter for jekyll

ocaide

An OCaml plug-in for Eclipse

ocaml-monadic

Lightweight PPX extension for OCaml to support natural monadic syntax.

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

ounit-problem-example

pds-reachability

A schematic PDS reachability library.

ppx_deriving

Type-driven code generation for OCaml >=4.02

script-vdr

Script for placement of windows on virtual desktops

smelt

A modular data model editing application.

starter-cobra

vscode-ocaml-indentation

A simple VSCode plugin to "format" files using ocp-indent.

xrandrlib

An RandR Python interface that operates using subprocess calls to the xrandr command-line tool. Naive but avoids potential dynamic linking problems.