Voilà turns Jupyter notebooks into standalone web applications

Panel: The powerful data exploration & web app framework for Python

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

This project maintains and develops a Fortran parser called fparser2 written purely in Python which supports Fortran 2003 and some Fortran 2008. A legacy parser fparser1 is also available but is no…

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

CESM interface to MOM Ocean Model

pySMT: A library for SMT formulae manipulation and solving

Dafny is a verification-aware programming language

Computing reachable states of dynamical systems in Julia

The Z3 Theorem Prover

Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89…

Load and create NetCDF files in Julia

Open Fortran Parser

The Community Earth System Model