PrincetonUniversity

All

298 repositories

VST
Public
Verified Software Toolchain
c coq proof verification proof-assistant formal-methods compcert formal-verification coq-library formal-specification
Coq
•
Other
•93•447•26•6•Updated Jan 22, 2025Jan 22, 2025
SPECFEMPP
Public
SPECFEM++ is a complete re-write of SPECFEM suite of packages (SPECFEM2D, SPECFEM3D, SPECFEM3D_GLOBE) using C++
C++
•
GNU General Public License v3.0
•9•24•65•4•Updated Jan 22, 2025Jan 22, 2025
intro_machine_learning
Public
Jupyter Notebook
•11•21•0•0•Updated Jan 22, 2025Jan 22, 2025
PsyNeuLink
Public
A block modeling system for cognitive neuroscience
neuroscience cognitive-science modeling-tools
Python
•
Apache License 2.0
•32•88•52•19•Updated Jan 22, 2025Jan 22, 2025
ChampSim
Public
C++
•
Apache License 2.0
•0•2•0•3•Updated Jan 21, 2025Jan 21, 2025
software_testing
Public
Python
•3•12•0•0•Updated Jan 20, 2025Jan 20, 2025
specfempp-py
Public
Python
•0•0•0•0•Updated Jan 17, 2025Jan 17, 2025
intro_debugging
Public
Python
•3•9•0•0•Updated Jan 16, 2025Jan 16, 2025
STELLOPT
Public
This is the GitHub repository for STELLOPT, the state-of-the-art stellarator optimization code.
Fortran
•
MIT License
•21•74•23•4•Updated Jan 16, 2025Jan 16, 2025
NirvaWave-SWANLAB
Public
MATLAB
•
MIT License
•0•0•0•0•Updated Jan 14, 2025Jan 14, 2025
jdc-pni
Public
JavaScript
•
MIT License
•1•0•0•0•Updated Jan 13, 2025Jan 13, 2025
SWAN-LAB-PUBLIC
Public
0•0•0•0•Updated Jan 13, 2025Jan 13, 2025
jobstats
Public
Jobstats is a job monitoring platform for CPU and GPU clusters
Python
•
GNU General Public License v2.0
•12•56•5•1•Updated Jan 9, 2025Jan 9, 2025
multi_gpu_training
Public
Python
•41•286•1•0•Updated Jan 6, 2025Jan 6, 2025
tristan-mp-v2
Public
Tristan-MP v2 [public]
Fortran
•
BSD 3-Clause "New" or "Revised" License
•3•14•5•0•Updated Dec 29, 2024Dec 29, 2024
SPEC
Public
The Stepped-Pressure Equilibrium Code, an advanced MRxMHD equilibrium solver.
tokamak plasma-physics nuclear-fusion mrxmhd stellarator
SourcePawn
•
GNU General Public License v3.0
•6•25•17•7•Updated Dec 18, 2024Dec 18, 2024
install_lammps
Public
Shell
•6•16•0•0•Updated Dec 17, 2024Dec 17, 2024
hpc_beginning_workshop
Public
Shell
•
MIT License
•44•139•0•0•Updated Dec 16, 2024Dec 16, 2024
monthly_sponsor_reports
Public
Python
•
GNU General Public License v2.0
•0•1•0•0•Updated Dec 13, 2024Dec 13, 2024
-shae-biplaneMicroscopy-public
Public
MATLAB
•0•0•0•0•Updated Dec 13, 2024Dec 13, 2024
bpcmp
Public
Utility for comparing ADIOS2 bp output
regression-testing adios2
Python
•
GNU General Public License v3.0
•0•1•0•0•Updated Dec 11, 2024Dec 11, 2024
athena
Public
Athena++ radiation GRMHD code and adaptive mesh refinement (AMR) framework
C++
•
BSD 3-Clause "New" or "Revised" License
•129•248•25•3•Updated Dec 11, 2024Dec 11, 2024
c19datacollective
Public
Open-access website for the Nineteeth-Century Data Collective.
open-access digital-humanities
JavaScript
•
MIT License
•0•0•0•0•Updated Dec 7, 2024Dec 7, 2024
NR-Scope
Public
A 5G Standalone cellular network telemetry tool, for network measurement and performance optimization
C++
•
GNU Affero General Public License v3.0
•2•21•4•1•Updated Dec 5, 2024Dec 5, 2024
stripes
Public archive
Assembly
•0•14•0•0•Updated Nov 26, 2024Nov 26, 2024
astro-tigress
Public
Python
•3•9•0•0•Updated Nov 26, 2024Nov 26, 2024
lucid
Public
OCaml
•
MIT License
•10•40•6•0•Updated Nov 20, 2024Nov 20, 2024
ai_tools_for_software_engineering
Public
MIT License
•0•2•0•0•Updated Nov 15, 2024Nov 15, 2024
DeepSpecDB
Public
Coq
•
GNU Lesser General Public License v3.0
•2•27•1•0•Updated Nov 14, 2024Nov 14, 2024
removing_tedium
Public
Linux productivity tools and practices for researchers
Shell
•
MIT License
•16•74•0•0•Updated Nov 1, 2024Nov 1, 2024