PrincetonUniversity

PrincetonUniversity

Geek Repo

Github PK Tool:Github PK Tool

PrincetonUniversity's repositories

VST

Verified Software Toolchain

Language:CoqLicense:NOASSERTIONStargazers:431Issues:22Issues:301

athena

Athena++ radiation GRMHD code and adaptive mesh refinement (AMR) framework

Language:C++License:BSD-3-ClauseStargazers:203Issues:36Issues:234

faas-profiler

An open source tool for testing and profiling FaaS and serverless platforms

Language:PythonLicense:MITStargazers:106Issues:9Issues:12

PsyNeuLink

A block modeling system for cognitive neuroscience

Language:PythonLicense:Apache-2.0Stargazers:85Issues:12Issues:121

ILAng

A Modeling and Verification Platform for SoCs using ILAs

Language:C++License:MITStargazers:75Issues:13Issues:97

STELLOPT

This is the GitHub repository for STELLOPT, the state-of-the-art stellarator optimization code.

Language:FortranLicense:MITStargazers:58Issues:22Issues:105
Language:OCamlLicense:MITStargazers:39Issues:7Issues:12
Language:PythonLicense:BSD-3-ClauseStargazers:37Issues:0Issues:0

muchiSim

Simulator framework for analysis of performance, energy consumption, area and cost of multi-node multi-chiplet tile-based manycore designs

Language:C++License:NOASSERTIONStargazers:36Issues:3Issues:0
Language:FortranLicense:GPL-3.0Stargazers:28Issues:9Issues:8

SCAF

A Speculation-Aware Collaborative Dependence Analysis Framework

Language:C++License:MITStargazers:28Issues:8Issues:5

MosaicSim

Heterogeneous simulator for DECADES Project

Language:C++License:BSD-2-ClauseStargazers:27Issues:0Issues:0

SPEC

The Stepped-Pressure Equilibrium Code, an advanced MRxMHD equilibrium solver.

Language:SourcePawnLicense:GPL-3.0Stargazers:23Issues:18Issues:97

SPECFEMPP

SPECFEM++ is a complete re-write of SPECFEM suite of packages (SPECFEM2D, SPECFEM3D, SPECFEM3D_GLOBE) using C++

Language:C++License:GPL-3.0Stargazers:14Issues:7Issues:39

tristan-mp-v2

Tristan-MP v2 [public]

Language:FortranLicense:BSD-3-ClauseStargazers:12Issues:5Issues:11
Language:PythonLicense:MITStargazers:7Issues:4Issues:2

IMDb

The ILA model database

License:MITStargazers:5Issues:6Issues:0
Language:C++License:BSD-2-ClauseStargazers:4Issues:0Issues:0

charis-dep

CHARIS reduction pipeline.

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:3Issues:0Issues:0

i2mex

Ideal 2-d Magnetohydrodynamic Equilibrium on Xplasma

Language:FortranLicense:GPL-3.0Stargazers:3Issues:6Issues:0
Language:JavaScriptLicense:GPL-3.0Stargazers:3Issues:0Issues:0
Language:CStargazers:2Issues:0Issues:0
Language:PythonLicense:GPL-2.0Stargazers:1Issues:2Issues:0
Stargazers:0Issues:0Issues:0

c19datacollective

Open-access website for the Nineteeth-Century Data Collective.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0