Larry Darryl Lee Jr.'s Projects
The Advisory Council on Historic Preservation's website's Drupal theme and modules.
Amina is a templating language similar to Mustache. You can use it to insert variables into text files and to replace those variables using values taken from a JSON file. Unlike Mustache, you can also embed Scheme (LISP) expressions into your files. Amina will evaluate these expressions and insert the resulting string values.
A Curry-based backend for the my ARF Utils app.
A Processing app that runs on MacOS and is designed to help preverbal autistic children learn to speak. The child controls a side scrolling spaceship that collects stars by saying simple monosyllabic words.
Bedrock Bit Vector Library
An OCaml library for studying chess that is based on Smallchesslib.
This package defines a collection of functions for clustering phrases such as names and titles into equivalence/similarity classes.
This repository contains code that generates tables for weighing evidence using the evidence colorwheel. It is a companion repository for my rationality-colorwheel project.
A Lucidity based website where I present and describe the Evidence Color Wheel.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
A library for reasoning about statistics and exporting OCaml code that uses the Owl library to perform computations.
A formally verified library of data transformation functions for data analysis
Formal specification of RISC-V Instruction Set
Experimental code using truncated fourier series to model nonlinear transition functions in stock flow models.
Verifies that Floating Point Unit used within SiFive's S-series is correct. Specifically, that Hauser's design allocates enough bits to its rem register to prevent an overflow during floating point square root and division operations.
This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both axiom definitions for these structures and proofs of foundational results. The current package contains over 800 definitions and proofs.
Gist is a simple natural language parser. It's designed, not to determine the precise nuanced meaning of long passages, but to extract important ideas from short passages such as RSS newsfeed summaries.
A lucidity based website for Hornet Enterprises
The Incident Geometry package presents a formalization of incident geometry and additionally provides numerous functions and theorems for manipulating lists and sets. This package includes over 70 definitions, theorems, and proofs.
The install package contains a number of scripts that can be used to automate the build and installation process for software that uses the Gnu Make Build system. The package includes a Perl script named install.pl that has evolved over the years to handle a variety of build processes while providing helpful guidance and intelligent defaults.
Kakuro is a utility for analyzing and solving kakuro puzzles. You can use the programs provided by this package to both solve kakuro puzzles and to get hints when solving puzzles by hand.
A test package used to verify that the IceStorm build tools can generate netlists from Kami designs.
A project template for Kami Development. Kami's build and compile system is very complex and having a good directory structure is essential to keep the various build targets, source files, etc separated. This repo defines a usable project template.
A Kami project that tests interfacing with the SRAM device on an Icoboard.
Detailed examples of all of the Kami constructs and proof types.
An open source lightweight JavaScript framework for developing interactive websites
A Lucidity demo.