ifndefJOSH
if it ain't foss it's gross
@fluentverificationLevel 2685, Coruscant, a Galaxy Far Far Away
Pinned Repositories
stamina-storm
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
ece2700-homework-template
LaTeX template for the ECE 2700 homework, of which I was a TA
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
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).
tcalc
TCalc - the Terrible Calculator
usurl
ifndefJOSH's Repositories
ifndefJOSH/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).
ifndefJOSH/ece2700-homework-template
LaTeX template for the ECE 2700 homework, of which I was a TA
ifndefJOSH/l2mml
A simple front-end gui for the PyPi latex2mathml library with live preview thanks to sympy.
ifndefJOSH/labadmintools
Graphical tools for running commands and copying files to multiple machines
ifndefJOSH/tcalc
TCalc - the Terrible Calculator
ifndefJOSH/usurl
ifndefJOSH/adventOfCode2022
Solutions for Advent of Code 2022. Trying to do each day in a different language.
ifndefJOSH/cbe-generators
Python scripts to generate CBE questions and answers.
ifndefJOSH/ifndefJOSH
ifndefJOSH/ifndefjosh.github.io
Website for me
ifndefJOSH/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.
ifndefJOSH/lmms
Cross-platform music production software
ifndefJOSH/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.
ifndefJOSH/ModelTester
ifndefJOSH/nim.nvim
Nim plugin for NeoVim (fork for contributions)
ifndefJOSH/nodesynth-doc
Doxygen docs for https://github.com/ifndefJOSH/nodesynth
ifndefJOSH/phenylpropanoids-model
Model of phenylpropanoid derivatives used in Zixun Zhan's lab
ifndefJOSH/pmwatch
The pollin' process max memory watcher
ifndefJOSH/predesigned-qt-guis
Some predesigned GUIs that you can stick into any (open-source) project. Written in Qt
ifndefJOSH/prism
My fork of the PRISM model checker to fix bugs I find and make PRs into the upstream repo.
ifndefJOSH/rmms
LMMS successor candidate, written in Rust
ifndefJOSH/rreq
Reasonable Rust Equalizer (unfinished)
ifndefJOSH/rustysensor
A remote-sensing library for Rust
ifndefJOSH/sorts
Random CS Stuff. Some of it's in Java, some is in C++.
ifndefJOSH/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.
ifndefJOSH/website-2024
Fork of USU FSLC website, for PRs.