ifndefjosh Goto Github PK

adventofcode2022

Solutions for Advent of Code 2022. Trying to do each day in a different language.

cbe-generators

Python scripts to generate CBE questions and answers.

ece2700-homework-template

LaTeX template for the ECE 2700 homework, of which I was a TA

ifndefjosh

ifndefjosh.github.io

Website for me

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

l2mml

A simple front-end gui for the PyPi latex2mathml library with live preview thanks to sympy.

labadmintools

Graphical tools for running commands and copying files to multiple machines

lmms

Cross-platform music production software

makefile-maker

A simple .py script to generate makefiles for C++ projects. Still a work in progress...will change this description when code is finished.

modeltester

nodesynth

This is a senior project which, when finished, will be a declarative, modular nodal synthesizer compatible (hopefully) with JACK (and maybe eventually VST3 and LV2 if I have time).

nodesynth-doc

Doxygen docs for https://github.com/ifndefJOSH/nodesynth

phenylpropanoids-model

Model of phenylpropanoid derivatives used in Zixun Zhan's lab

pmwatch

The pollin' process max memory watcher

predesigned-qt-guis

Some predesigned GUIs that you can stick into any (open-source) project. Written in Qt

prism

My fork of the PRISM model checker to fix bugs I find and make PRs into the upstream repo.

rmms

LMMS successor candidate, written in Rust

rreq

Reasonable Rust Equalizer (unfinished)

rustysensor

A remote-sensing library for Rust

sorts

Random CS Stuff. Some of it's in Java, some is in C++.

storm

Please clone the parent repository. This fork is to create any change needed for STAMINA (our model truncation software) to work with STORM. Any improvments I make here I will create PRs in the upstream parent repository so the STORM authors can potentially include them.

tcalc

TCalc - the Terrible Calculator

usurl

website-2024

Fork of USU FSLC website, for PRs.