Highlights
- Pro
Block or Report
Block or report alperaltuntas
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
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
stfc / fparser
Forked from pearu/f2pyThis 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
pySMT: A library for SMT formulae manipulation and solving
Dafny is a verification-aware programming language
Computing reachable states of dynamical systems in Julia
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