adhalanay

adhalanay.github.io

adhalanay.github.io-src

andromeda

A proof assistant for general type theories

aoc2021

Advent of Code 2021

book

A textbook on informal homotopy type theory

curs-biologie-2021

curs-ecologie

curs-id

DDEBifurcationKit.jl

numerical bifurcation analysis for DDE

DelayDiffEq.jl

DiffEq solvers for delay differential equations

DynamicalSystems.jl

Award winning software library for nonlinear dynamics

ega

amateur translation project of Grothendieck's EGA.

Eirene.jl

Julia library for homological persistence

elegant

A responsive, minimal, and stylish theme for Pelican

hasktorch

Tensors and neural networks in Haskell

HoTT

Homotopy type theory

HoTT-Intro

An introductory course to Homotopy Type Theory

Idris2

A purely functional programming language with first class types

julia

The Julia Programming Language

jupyterlab

JupyterLab computational environment.

mercury

The Mercury logic programming system.

MLJ.jl

A Julia machine learning framework

OpenLogic

An open-source, customizable intermediate logic textbook

Oscar.jl

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

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.

sage

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

stacks-project

Repository for the Stacks Project

TDA.jl

A Julia package for topological data analysis

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.