kevinaangstadt Goto Github PK

arc16-design

arc16-sim

ardupilot

ArduPlane, ArduCopter, ArduRover, ArduSub source

automata-synth

A framework for learning automata from legacy code for execution on FPGAs

automatalab

Visualization web client for VASim

bisect-example

Example of using git-bisect

cgen

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

cs-pui.github.io

A resource for CS faculty positions at primarily-undergraduate institutions

cs340-s23-notes

Lecture Notes from CS-340 Spring 2023

cs340-summer21-notes

Lecture notes from SLU CS-340 Summer 2021

csconcepts

eert

A directory printer

ekf_transplant

emception

Run Emscripten in the browser

emception-example

An example of loading and using emception to compile and run code

hscompile

MNRL HyperScan

i2cswitch

ATTiny85 I2C Switch

java-smt

JavaSMT - Unified Java API for SMT solvers.

jsoup

jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety.

kollector

de novo targeted gene assembly

meta-start-rover

Yocto meta layer for TRMO START rover project

mncart

MNRL Network Computation and Research Testbed

mnrl

MNRL Network Representation Language

mortcalc

Simple Mortgage Calculator

ocp-indent

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

onny-tickets

pages-deploy

Example of using GitHub CD to deploy a webpage

panopto2sakai

Convert Panopto user completion data to Sakai gradebook format

perusall2sakai

This web app will convert a Perusall CSV file to a Sakai CSV file