kuribas / mfsolve
mfsolve
☆9Updated last year
Related projects: ⓘ
- Vector & affine spaces, linear maps, and derivatives☆45Updated last month
- Compile time CAS(Computer Algebra System) for Haskell☆17Updated 4 years ago
- Regular expressions of types☆16Updated 6 years ago
- A natural transformation package☆16Updated 11 months ago
- Programmatically create new instances using core-to-core plugins☆12Updated 3 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Constraint Handling Rules☆14Updated 2 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated last month
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Updated 7 years ago
- Fixed length vector for haskell☆21Updated 5 months ago
- The Elements of Statistical Learning in Haskell☆12Updated 6 years ago
- half-precision floating-point☆14Updated 4 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Invertible parsing for S-expressions☆33Updated last week
- Dependently typed elimination functions using singletons☆27Updated 3 months ago
- A small NuPRL style proof assistant☆32Updated 5 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Interval Arithmetic☆27Updated 2 years ago
- Physical dimensions and operations☆9Updated 5 years ago
- Persistent vectors for Haskell based on array mapped tries☆27Updated 2 years ago
- Reification of data structures using observable sharing☆28Updated 4 months ago
- Deprecated in favour of https://github.com/tonyday567/numhask