Pinned Repositories
columnal
Safer, smoother data table processing.
alloy
Alloy generics library for Haskell
annotation-tools
Tools for type annotations in Java
asciidoctor-stylesheet-factory
:art: A factory for producing stylesheets to theme AsciiDoc HTML5 output. Assembled using Compass, Sass and Foundation.
bcel-util
Utility routines for working with the BCEL bytecode engineering library
bibtex-clean
Clean a BibTeX file by removing text outside BibTeX entries
bjgf-test-actions
Testing building installers with GitHub Actions
BlueJ-Greenfoot
BlueJ and Greenfoot
checker-framework
Pluggable type-checking for Java
chp
Communicating Haskell Processes
neilccbrown's Repositories
neilccbrown/alloy
Alloy generics library for Haskell
neilccbrown/annotation-tools
Tools for type annotations in Java
neilccbrown/bcel-util
Utility routines for working with the BCEL bytecode engineering library
neilccbrown/bibtex-clean
Clean a BibTeX file by removing text outside BibTeX entries
neilccbrown/bjgf-test-actions
Testing building installers with GitHub Actions
neilccbrown/BlueJ-Greenfoot
BlueJ and Greenfoot
neilccbrown/checker-framework
Pluggable type-checking for Java
neilccbrown/chp
Communicating Haskell Processes
neilccbrown/chp-plus
A set of utilities for the Communicating Haskell Processes library
neilccbrown/chp-spec
A mirror of the CHP library that generates a specification of the program
neilccbrown/columnal
Safer, smoother data table processing.
neilccbrown/game-probability
Game probability library for Haskell
neilccbrown/hedy-translate
Analysis program for Hedy translations
neilccbrown/html-pretty-print
HTML pretty-printer using Tagsoup
neilccbrown/icalavailable
Show available times on an iCal calendar
neilccbrown/lookup
Entry- or paragraph-based grep over a set of files
neilccbrown/multi-version-control
Perform version control operations on multiple repositories at a time
neilccbrown/options
Command-line option processing for Java
neilccbrown/plume-util
Utility libraries for Java
neilccbrown/progression
Support for graphing uses of the criterion benchmarking library
neilccbrown/rectangles
neilccbrown/reflection-util
Utilities for Java reflection
neilccbrown/require-javadoc
Requires a Javadoc comment to be present on every Java construct (class, method, etc.)
neilccbrown/roc-book-of-examples
Software Design by Example in Roc
neilccbrown/stubparser
Reads stub files for the Checker Framework
neilccbrown/teavm
Compiler of Java bytecode to JavaScript
neilccbrown/TestJavaFX
Testing library for JavaFX
neilccbrown/TigerPython-Parser
Enhanced error recognition in Python
neilccbrown/with-the-storm
neilccbrown/zktxviewer
Viewer for KTX and ZKTX files