walck / cyclotomicLinks
A subfield of the complex numbers for exact calculation.
☆22Updated 5 years ago
Alternatives and similar repositories for cyclotomic
Users that are interested in cyclotomic are comparing it to the libraries listed below
Sorting:
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated 3 weeks ago
- Agda-style equational reasoning in Haskell☆54Updated 5 months ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- Exact real arithmetic in Haskell☆25Updated 3 years ago
- ☆23Updated last year
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated 9 months ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Clifford algebra for Haskell! :D☆15Updated 11 years ago
- MPFR bindings for Haskell☆35Updated last year
- ☆35Updated 7 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆40Updated 4 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 2 months ago
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated this week
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- Morte IDE☆29Updated 5 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 10 months ago
- Pure-Haskell proper unicode string handling☆15Updated 9 years ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- Probabilistic computation in Idris☆34Updated 6 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 4 years ago
- constructive abstract algebra☆104Updated 5 years ago
- Map lazy functional language constructs to LLVM IR☆50Updated 6 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 7 months ago