MaxOw / computational-geometry
Collection of algorithms in Computational Geometry.
☆18Updated 7 years ago
Alternatives and similar repositories for computational-geometry
Users that are interested in computational-geometry are comparing it to the libraries listed below
Sorting:
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Haskell bindings to the Eigen C++ library☆16Updated 11 months ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated last year
- Physical dimensions and operations☆9Updated 6 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 6 years ago
- Vector & affine spaces, linear maps, and derivatives☆47Updated 9 months ago
- NanoVG Haskell bindings☆22Updated last year
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 10 years ago
- half-precision floating-point☆14Updated 2 months ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- ☆18Updated last year
- machine fusion☆16Updated 6 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Updated 6 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- Linear map categories in Agda☆5Updated 2 years ago
- Educational implementation of dependent types☆19Updated 6 years ago
- Directed rounding and interval arithmetics with builtin floating types☆11Updated 3 years ago
- Experiments with linear types☆14Updated 7 years ago
- Bring fusion to everyone☆13Updated 5 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 9 months ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago