adhalanay Goto Github PK

hott-intro

An introductory course to Homotopy Type Theory

hpc-python

Python in High Performance Computing

hy

A dialect of Lisp that's embedded in Python

idris2

A purely functional programming language with first class types

itensors.jl

A Julia library for efficient tensor computations and tensor network calculations

julia

The Julia Programming Language

jupyterlab

JupyterLab computational environment.

kenzo

A repackaged version of the Kenzo software by Francis Sergeraert and collaborators.

linearalgebragit

Linear Algebra Reformed for 21st C Application

maxima

A mirror of the official maxima git repository + my branches

maxima-client

Maxima client

mercury

The Mercury logic programming system.

mlj.jl

A Julia machine learning framework

mozart2

Mozart Programming System v2

nemo.jl

Julia bindings for various mathematical libraries (including flint2)

nlsolve.jl

Julia solvers for systems of nonlinear equations and mixed complementarity problems

odes

git repo of the odes scikit for scipy

openlogic

An open-source, customizable intermediate logic textbook

ordinarydiffeq.jl

DiffEq solvers for ordinary differential equations

oscar.jl

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

paramotopy

parallel parameter homotopy through bertini

pelican-bgh

The blue grasshopper theme for pelican

pelican-theme-jesuislibre

jesuislibre pelican theme

phylo.jl

Simple phylogenetic trees in Julia to work with Diversity.jl - https://github.com/EcoJulia/Diversity.jl

ripserer.jl

Flexible and efficient persistent homology computation.

rustalgebloat

A Rust linear algebra library based on expression templates

rustgnuplot

A Rust library for drawing plots, powered by Gnuplot.

sage

Mirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/

scirust

Scientific Computing Library in Rust

seminar