|
|
C++ |
134 |
A High-performance Cluster Computing Engine |
Sep 04, 2022 |
|
|
Standard ML |
2 |
A formally verified toy regex engine in Standard ML |
Jun 27, 2023 |
|
|
Jupyter Notebook |
9 |
Discover Julia, a high performance language for technical computing |
Nov 09, 2022 |
|
|
Lean |
19 |
A formally verified compiler for a simple language with numbers and sums |
Aug 08, 2022 |
|
|
Dafny |
14 |
A verified high-performance file system |
May 19, 2022 |
|
|
Python |
13 |
Operators and solvers for high-performance computing. |
Aug 23, 2022 |
|
|
Python |
2 |
Operators and solvers for high-performance computing. |
May 20, 2020 |
|
|
Common Lisp |
254 |
Elegant High Performance Computing |
Aug 08, 2022 |
|
|
None |
18 |
MCW High Performance Computing |
May 31, 2022 |
|
|
C++ |
2 |
Noobs High Performance Computing |
Dec 17, 2022 |
|
|
Shell |
2 |
High-Performance Computing Cluster |
Jan 25, 2024 |
|
|
Java |
2 |
High Performance Computing modules for powsybl |
Oct 12, 2021 |
|
|
Python |
2 |
Python for High Performance Computing presentation |
Jan 27, 2023 |
|
|
R |
6 |
High-Performance Computing Extensions for EpiModel |
Dec 04, 2022 |
|
|
C++ |
16 |
Full-fledged industrial environment for scientific computing and High Performance Computing |
Apr 15, 2023 |
|
|
Python |
226 |
Python in High Performance Computing |
Sep 04, 2022 |
|
|
Jupyter Notebook |
2 |
UCL High Performance Computing Module |
Mar 15, 2022 |
|
|
None |
6 |
A high performance computing framework |
Nov 20, 2022 |
|
|
C++ |
2 |
Introduction to High Performance Computing |
May 01, 2023 |
|
|
JavaScript |
2 |
High-Performance Computing Course Webpage |
Jan 10, 2023 |
|
|
Erlang |
786 |
High-performance, high-scalability distributed computing for the BEAM. |
May 02, 2023 |
|
|
Rust |
515 |
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. |
May 03, 2023 |
|
|
HTML |
24 |
Julia for High Performance Computing Course @ HLRS |
Oct 20, 2022 |
|
|
C++ |
2 |
Productive & portable programming language for high-performance, sparse & differentiable computing on CPUs & GPUs |
Dec 07, 2021 |
|
|
C++ |
4 |
High Performance Computing: Tools and Applications course examples |
Mar 11, 2019 |
|
|
CMake |
2 |
Chapter 17 of Parallel and High Performance Computing |
Jun 18, 2022 |
|
|
C |
4 |
Chapter 7 of Parallel and High Performance Computing |
Sep 02, 2022 |
|
|
C++ |
2 |
Parallel and High Performance Computing Hands On Exercises |
Jan 29, 2024 |
|
|
Python |
3 |
Elastic-High-Performance-Computing-Cost-Calc |
Sep 24, 2020 |
|
|
Python |
37 |
Novice introduction to high performance computing |
Feb 24, 2023 |
|
|
Go |
2 |
High Performance Computing (HPC) cluster utility |
Jun 30, 2021 |
|
|
Julia |
13 |
Functional High-Performance Computing in Julia |
Jul 14, 2021 |
|
|
Perl |
2 |
High Performance Computing optimized orthology inference |
Nov 14, 2022 |
|
|
Python |
2 |
Novice introduction to high performance computing |
Feb 10, 2024 |
|
|
Jupyter Notebook |
2 |
High-performance scientific computing using Julia |
Dec 10, 2023 |
|
|
Python |
14 |
High Performance Computing Cluster Engineering Academy within Livermore Computing |
Aug 02, 2022 |
|
|
Swift |
1741 |
High performance GIF engine |
Apr 30, 2023 |
|
|
Shell |
41 |
Shadow Operator resources for running high performance & high stability RPC nodes |
Jun 06, 2022 |
|
|
C |
7 |
Emergency alert and tracer for realtime high-performance computing app. |
Jan 19, 2022 |
|
|
Julia |
2 |
Robust pmap calls for efficient parallelization and high-performance computing |
Jan 31, 2023 |
|
|
Verilog |
4 |
Circuits and hardware security modules formally verified with Knox 🔐 |
Jul 31, 2022 |
|
|
C |
12 |
Starting code for Introduction to High Performance Computing |
Nov 08, 2021 |
|
|
C |
33 |
High Performance Computing Strategies for Boundary Value Problems |
May 30, 2022 |
|
|
C++ |
140 |
High performance scripting and specification language. |
Aug 19, 2022 |
|
|
Julia |
31 |
Parallel CPU and GPU high-performance computing - short course |
Jul 27, 2022 |
|
|
C |
76 |
OVIS High Performance Computing monitoring, analysis, and visualization project. |
Aug 15, 2022 |
|
|
Dockerfile |
3 |
Chapter 10 of Parallel and High Performance Computing book |
Dec 26, 2021 |
|
|
C |
2 |
Chapter 11 of Parallel and High Performance Computing book |
Dec 15, 2020 |
|
|
Python |
3 |
Chapter 12 of Parallel and High Performance Computing book |
May 19, 2021 |
|
|
Shell |
4 |
Chapter 2 of Parallel and High Performance Computing book |
Sep 15, 2022 |