Joel-Dahne

octave-taylor-POC

A proof of concept implementation of Taylor arithmetic in Octave, meant to work with the interval package.

ArbExtras.jl

Julia package with extra tools for Arblib.jl

joel-dahne.github.io

particular-solution

Program for enclosing eigenvalues of the Laplacian on spherical triangles using the method of particular solutions.

arb

C library for arbitrary-precision interval arithmetic

Arblib.jl

Thin, efficient wrapper around Arb (http://arblib.org/)

ArbNumerics.jl

extended precision math, accurate and performant

ArbTools.jl

BurgersHilbertWave.jl

Code for proving the existence of a highest cusped wave for the Burgers-Hilbert equation

co-trajetory-analysis

Scala and Spark code for analysis of co-trajectories, in particular privacy analysis of SwapMob

CoordinateTransformations.jl

A fresh approach to coordinate transformations...

Exam-conversion

Simple script for doing automatic conversion of documents in different formats to pdf

flint2

FLINT (Fast Library for Number Theory)

generateZeros

Program for finding zeros to systems of two analytical functions

HighestCuspedWave.jl

Code for proving the existence of a highest cusped wave for the fractional KdV equation

IntervalArithmetic.jl

Library for validated numerics using interval arithmetic

MethodOfParticularSolutions.jl

PaynePolygon.jl

Code for proving that there is a counterexample to Payne's nodal line conjecture with only six holes.

Pluto.jl

🎈 Simple reactive notebooks for Julia

Yggdrasil

Collection of builder repositories for BinaryBuilder.jl