felixwellen/FastFluidDynamics felixwellen/FastFluidDynamics

  • Stars
    star
    3
  • Rank 3,866,178 (Top 79 %)
  • Language
    OCaml
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
felixwellen/FastFluidDynamics
github

felixwellen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

DCHoTT-Agda

Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
Agda
49
star
2

synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
TeX
43
star
3

synthetic-geometry

Synthetic geometry. Probably mostly algebraic geometry.
20
star
4

HoTT-Vorlesung

Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universitรคt Augsburg
TeX
3
star
5

ExactArithmetic

Calculate without loss of precision
F#
1
star