Explore projects

You can fork this project to practice the workflow of forking a repository and configuring its settings.

You can fork this project to practice the workflow of forking a repository and configuring its settings.

First-order upwind FVM code with SSP-RK3 time marching for solving 1D gas dynamic problems. Modular thermodynamics and Riemann solver modules, including StARS-type solvers. Scaling analysis of entropy violations included.

A Z3-based IC3 implementation

You can fork this project to practice the workflow of forking a repository and configuring its settings.

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

Implementing RBF Network using Numpy library.

Feds event categories

CS343 assignment 6 - group project

You can fork this project to practice the workflow of forking a repository and configuring its settings.