{"payload":{"pageCount":10,"repositories":[{"type":"Public","name":"PsyNeuLink","owner":"PrincetonUniversity","isFork":false,"description":"A block modeling system for cognitive neuroscience","topicNames":["neuroscience","cognitive-science","modeling-tools"],"topicsNotShown":0,"allTopics":["neuroscience","cognitive-science","modeling-tools"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":18,"issueCount":55,"starsCount":85,"forksCount":29,"license":"Apache License 2.0","participation":[6,25,15,11,23,20,14,5,10,17,12,6,6,2,4,2,3,2,1,1,9,8,2,6,11,2,11,6,7,5,2,24,17,1,18,12,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T22:06:19.030Z"}},{"type":"Public","name":"MosaicSim","owner":"PrincetonUniversity","isFork":false,"description":"Heterogeneous simulator for DECADES Project","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":26,"forksCount":5,"license":"BSD 2-Clause \"Simplified\" License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,11],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T20:00:19.253Z"}},{"type":"Public","name":"monthly_sponsor_reports","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T19:16:36.808Z"}},{"type":"Public","name":"lucid","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":6,"starsCount":38,"forksCount":9,"license":"MIT License","participation":[2,4,12,9,13,5,11,2,0,4,2,10,8,2,6,10,17,11,5,20,0,1,0,0,12,16,1,1,10,4,8,4,3,4,8,10,0,0,0,14,4,11,7,10,20,13,0,3,16,3,23,11],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T13:31:39.131Z"}},{"type":"Public","name":"VST","owner":"PrincetonUniversity","isFork":false,"description":"Verified Software Toolchain","topicNames":["c","coq","proof","verification","proof-assistant","formal-methods","compcert","formal-verification","coq-library","formal-specification"],"topicsNotShown":1,"allTopics":["c","coq","proof","verification","proof-assistant","formal-methods","compcert","formal-verification","coq-library","formal-specification","coq-vst"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":6,"issueCount":25,"starsCount":421,"forksCount":88,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T18:24:44.455Z"}},{"type":"Public","name":"STELLOPT","owner":"PrincetonUniversity","isFork":false,"description":"This is the GitHub repository for STELLOPT, the state-of-the-art stellarator optimization code.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Fortran","color":"#4d41b1"},"pullRequestCount":2,"issueCount":26,"starsCount":52,"forksCount":15,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T11:15:41.475Z"}},{"type":"Public","name":"c19datacollective","owner":"PrincetonUniversity","isFork":false,"description":"Open-access website for the Nineteeth-Century Data Collective.","topicNames":["open-access","digital-humanities"],"topicsNotShown":0,"allTopics":["open-access","digital-humanities"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T16:13:05.270Z"}},{"type":"Public","name":"muchiSim","owner":"PrincetonUniversity","isFork":false,"description":"Simulator framework for analysis of performance, energy consumption, area and cost of multi-node multi-chiplet tile-based manycore designs","topicNames":["simulator","simulation","network","cost-model","pgas","execution","energy-model","manycore","multi-chip","data-centric"],"topicsNotShown":3,"allTopics":["simulator","simulation","network","cost-model","pgas","execution","energy-model","manycore","multi-chip","data-centric","data-local","performance-modeling-and-analysis","multi-chiplet"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":30,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T22:13:16.808Z"}},{"type":"Public","name":"DecadesCompiler","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T15:59:34.421Z"}},{"type":"Public","name":"EDIPIC-2D","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Fortran","color":"#4d41b1"},"pullRequestCount":0,"issueCount":2,"starsCount":24,"forksCount":17,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T14:43:07.018Z"}},{"type":"Public","name":"athena","owner":"PrincetonUniversity","isFork":false,"description":"Athena++ radiation GRMHD code and adaptive mesh refinement (AMR) framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":25,"starsCount":190,"forksCount":111,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T03:39:21.755Z"}},{"type":"Public","name":"gpu_programming_intro","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":94,"forksCount":30,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T21:01:28.149Z"}},{"type":"Public","name":"hpc_beginning_workshop","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":132,"forksCount":42,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,17,0,0,0,0,0,0,0,0,0,0,0,2,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T21:11:18.291Z"}},{"type":"Public","name":"charis-dep","owner":"PrincetonUniversity","isFork":false,"description":"CHARIS reduction pipeline.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":1,"issueCount":3,"starsCount":3,"forksCount":5,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,2,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-12T21:09:03.061Z"}},{"type":"Public","name":"MindPalace","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T19:25:04.558Z"}},{"type":"Public","name":"gerryspam","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":4,"starsCount":7,"forksCount":2,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T19:55:55.129Z"}},{"type":"Public","name":"i2mex","owner":"PrincetonUniversity","isFork":false,"description":"Ideal 2-d Magnetohydrodynamic Equilibrium on Xplasma","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Fortran","color":"#4d41b1"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T20:07:11.767Z"}},{"type":"Public","name":"SPEC","owner":"PrincetonUniversity","isFork":false,"description":"The Stepped-Pressure Equilibrium Code, an advanced MRxMHD equilibrium solver.","topicNames":["tokamak","plasma-physics","nuclear-fusion","mrxmhd","stellarator"],"topicsNotShown":0,"allTopics":["tokamak","plasma-physics","nuclear-fusion","mrxmhd","stellarator"],"primaryLanguage":{"name":"SourcePawn","color":"#f69e1d"},"pullRequestCount":4,"issueCount":15,"starsCount":21,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T15:44:41.496Z"}},{"type":"Public","name":"SCAF","owner":"PrincetonUniversity","isFork":false,"description":"A Speculation-Aware Collaborative Dependence Analysis Framework","topicNames":["llvm","static-analysis","memory-analysis","speculation","dependence-analysis","alias-analysis"],"topicsNotShown":0,"allTopics":["llvm","static-analysis","memory-analysis","speculation","dependence-analysis","alias-analysis"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":27,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-28T22:42:02.953Z"}},{"type":"Public","name":"LLMCompass","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T17:31:59.962Z"}},{"type":"Public","name":"IMDb","owner":"PrincetonUniversity","isFork":false,"description":"The ILA model database","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T18:42:56.069Z"}},{"type":"Public","name":"ILA_Rocket","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Verilog","color":"#b2b7f8"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T18:37:19.476Z"}},{"type":"Public","name":"install_lammps","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-17T15:50:57.156Z"}},{"type":"Public","name":"aspire","owner":"PrincetonUniversity","isFork":false,"description":"Algorithms for Single Particle Reconstruction ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":2,"issueCount":30,"starsCount":13,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T15:44:08.948Z"}},{"type":"Public","name":"jobstats","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":3,"starsCount":36,"forksCount":5,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-11T03:39:05.075Z"}},{"type":"Public","name":"PROMPT","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T16:35:18.261Z"}},{"type":"Public","name":"jdc-pni","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-09T16:26:18.174Z"}},{"type":"Public","name":"blocklint","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":7,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-06T09:45:55.117Z"}},{"type":"Public","name":"intro_ml_libs","owner":"PrincetonUniversity","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":1,"issueCount":0,"starsCount":11,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T19:00:15.149Z"}},{"type":"Public","name":"AutoSVA","owner":"PrincetonUniversity","isFork":false,"description":"AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generate liveness properties so that the module would eventually make forward progress. ","topicNames":["design","verification","rtl","verilog","systemverilog","sva","methodology-development"],"topicsNotShown":0,"allTopics":["design","verification","rtl","verilog","systemverilog","sva","methodology-development"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":64,"forksCount":21,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-29T13:00:14.201Z"}}],"repositoryCount":281,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}