llee454 Goto Github PK

achp

The Advisory Council on Historic Preservation's website's Drupal theme and modules.

amina

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.

arf-backend

A Curry-based backend for the my ARF Utils app.

asemio_stats

The Asemio Stats library defines a collection of mathematical and scientific functions that Asemio uses to perform statistical analysis and research.

autism-speaking-game

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.

bbv

Bedrock Bit Vector Library

cluster

This package defines a collection of functions for clustering phrases such as names and titles into equivalence/similarity classes.

colorwheel-analysis

This repository contains code that generates tables for weighing evidence using the evidence colorwheel. It is a companion repository for my rationality-colorwheel project.

colorwheel-website

A Lucidity based website where I present and describe the Evidence Color Wheel.

coq

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.

coq-owl

A library for reasoning about statistics and exporting OCaml code that uses the Owl library to perform computations.

data-transforms

A formally verified library of data transformation functions for data analysis

forvis_riscv-isa-spec

Formal specification of RISC-V Instruction Set

fourier_models

Experimental code using truncated fourier series to model nonlinear transition functions in stock flow models.

fpu-verification

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.

front-end-programmer-hiring-kit

functional-algebra

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

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.

hornet-website

A lucidity based website for Hornet Enterprises

incident-geometry

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.

install

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

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.

kami

kami-icestorm-test

A test package used to verify that the IceStorm build tools can generate netlists from Kami designs.

kami-project-template

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.

kami-ram-test

A Kami project that tests interfacing with the SRAM device on an Icoboard.

kami-tutorial

Detailed examples of all of the Kami constructs and proof types.

lanchester

lucidity

An open source lightweight JavaScript framework for developing interactive websites

lucidity-demo

A Lucidity demo.