walck / cyclotomicLinks
A subfield of the complex numbers for exact calculation.
☆21Updated 5 years ago
Alternatives and similar repositories for cyclotomic
Users that are interested in cyclotomic are comparing it to the libraries listed below
Sorting:
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 6 months ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated last month
- being a collection of Agda-facilitated ramblings☆33Updated 5 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- MPFR bindings for Haskell☆34Updated last year
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- An efficient graph library for Haskell☆39Updated last week
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated 3 months ago
- More strongly typed variant of the ixset Haskell package☆24Updated 9 months ago
- Vector & affine spaces, linear maps, and derivatives☆47Updated 10 months ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Yet another concurrent playground☆33Updated 9 years ago