Amalee Wilson's repositories
aqed-dac2020-results
Source files to reproduce the results shown for A-QED at DAC 2020
circt
Circuit IR Compilers and Tools
clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
dnc-smt
D&C Search for SMT, based on gg.
IMDb-Archive
ILA Model Database
json
JSON for Modern C++
kitsune-old
LLVM + Tapir research project
legion
The Legion Parallel Programming System
meal-planner
A web application to plan what you eat daily in accordance to dietary needs
mealie
Mealie is a self hosted recipe manager and meal planner with a RestAPI backend and a reactive frontend application built in Vue for a pleasant user experience for the whole family. Easily add recipes into your database by providing the url and mealie will automatically import the relevant data or add a family recipe with the UI editor
mean-starter-website
Personal website template created using MEAN stack.
mlir
"Multi-Level Intermediate Representation" Compiler Infrastructure
onionperf
unofficial git repo -- report bugs/issues/pull requests on https://trac.torproject.org/ --
Partitioning-Strategies-for-Distributed-SMT-Solving-FMCAD23
Data and guide for reproducing it for the following paper https://arxiv.org/abs/2306.05854
recipes
Recipe collection ¯\_(ツ)_/¯
RecipeSage
A Collaborative Recipe Keeper, Meal Planner, and Shopping List Organizer in PWA form.
smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
SMTS
SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning