Finite sets, finite maps, multisets and generic sets

Coq45

11 months ago

coqfinite-setsmathcomp

ES2015 Number.isFinite() ponyfill

JavaScript18mit

3 years ago

Efficiently represent several finite sets or small integers as a single non-nega

Common Lisp22mit

2 years ago

Simple finite element assemblers

Python415bsd-3-clause

3 months ago

fempdepython

2D/3D serial and parallel triangular mesh generation tool for finite element met

Python113gpl-3.0

10 months ago

distmeshmeshingparallel

An implementation of regular expressions for Rust. This implementation uses fini

Rust3277apache-2.0

2 months ago

automataautomatondfa

The development repository for the deal.II finite element library.

C++1237other

2 months ago

c-plus-plusfinite-elements

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

Python454other

2 months ago

dregex is a Java library that implements a regular expression engine using deter

Java40bsd-2-clause

6 months ago

dfajava-libraryregex

Lightweight, general, scalable C++ library for finite element methods

C++1489bsd-3-clause

2 months ago

amrcomputational-sciencefem

FiPy is a Finite Volume PDE solver written in Python

Python455other

2 months ago

materials-sciencemodelingpartial-differential-equations

Description Do you lay awake at night, racked with anxiety that, someday, you

Swift6470mit

29 days ago

appleiapin-app-purchase

Finite sets, finite maps, multisets and generic sets

Coq45

11 months ago

coqfinite-setsmathcomp

ES2015 Number.isFinite() ponyfill

JavaScript18mit

3 years ago

Efficiently represent several finite sets or small integers as a single non-nega

Common Lisp22mit

2 years ago

Simple finite element assemblers

Python415bsd-3-clause

3 months ago

fempdepython

2D/3D serial and parallel triangular mesh generation tool for finite element met

Python113gpl-3.0

10 months ago

distmeshmeshingparallel

An implementation of regular expressions for Rust. This implementation uses fini

Rust3277apache-2.0

2 months ago

automataautomatondfa

The development repository for the deal.II finite element library.

C++1237other

2 months ago

c-plus-plusfinite-elements

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

Python454other

2 months ago

dregex is a Java library that implements a regular expression engine using deter

Java40bsd-2-clause

6 months ago

dfajava-libraryregex

Lightweight, general, scalable C++ library for finite element methods

C++1489bsd-3-clause

2 months ago

amrcomputational-sciencefem

FiPy is a Finite Volume PDE solver written in Python

Python455other

2 months ago

materials-sciencemodelingpartial-differential-equations

Description Do you lay awake at night, racked with anxiety that, someday, you

Swift6470mit

29 days ago

appleiapin-app-purchase