Multi-language suite for high-performance solvers of differential equations and

Julia2718other

2 months ago

daeddedelay-differential-equations

A function definition package for Coq

Coq205lgpl-2.1

5 months ago

coqdependent-typesprogramming-language

Handwritten Equations Decipherment with Abductive Learning

Python97

3 months ago

deep-learninglogical-programmingmachine-learning

Linear algebra, eigenvalues, FFT, Bessel, elliptic, orthogonal polys, geometry,

Go1797bsd-3-clause

3 months ago

computational-geometrydifferential-equationseigenvalues

Write Apps like Mathematical Equations!

PureScript204other

10 months ago

app-developmentfunctional-programmingnative

A Flutter Package to render Mathematics, Physics and Chemistry Equations based o

JavaScript249other

4 months ago

equationsflutterkatex

Unit converting calculator

Java65gpl-3.0

2 months ago

Firedrake is an automated system for the portable solution of partial differenti

Python454other

2 months ago

Coq plugin providing tactics for rewriting universally quantified equations, mod

OCaml29other

6 months ago

coqcoq-cicoq-platform

Monadic effects and equational reasonig in Coq

Coq67lgpl-2.1

5 months ago

math-compmathcompmonad-transformers

Beautiful math equation rendering on iOS and MacOS

Objective-C1336mit

7 months ago

Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capab

Python1191apache-2.0

last month

deep-learningdifferential-equationsdynamical-systems

The Massively Parallel Quantum Chemistry program, MPQC, computes properties of a

C++63

9 months ago

Description Notenik is a simple yet powerful and flexible system for taking,

Swift81other

2 months ago

Description Saber is the notes app built for handwriting.It's designed to be

Dart1773gpl-3.0

16 hours ago

androidcross-platformdart

a grab-bag of modular easing equations

JavaScript374mit

7 years ago

Better Easing for SpriteKit in Swift

Swift113mit

3 years ago

Classical equations and diagrams in machine learning

TeX6399

2 years ago

PETSc, pronounced PET-see (the S is silent), is a suite of data structures and r

C103other

last year

This is a Godot Script (GDScript) (http://www.godotengine.org/) port of the Robe

GDScript50mit

4 years ago

An ordinary differential equation solving library in golang.

Go22mit

7 years ago

differential-equationsgolangmultivariate

Delphi component Equation Editor that allows you to enter and display math formu

Pascal38

3 years ago

delphidelphi-componentdelphi-components

Calculate average score and rating based on Wilson Score Equation

Go16mit

7 years ago

Xcode 8 Source Code Extension will generate conformance to Swift Equatable proto

Swift191

5 years ago

extensionswift-equatablexcode