masterdezign / ddeLinks
Delay Differential Equations in Haskell
☆11Updated 6 years ago
Alternatives and similar repositories for dde
Users that are interested in dde are comparing it to the libraries listed below
Sorting:
- A GHC source plugin which detects opportunities to use coerce☆17Updated 7 years ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆23Updated 4 years ago
- ☆13Updated 5 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- A library for generic programming that aims to be easy to understand☆26Updated 6 months ago
- ☆20Updated 2 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- Performance shootout of various trie implementations☆18Updated 6 years ago
- Modular arithmetic, promoting moduli to the type level☆23Updated 3 weeks ago
- Map and Set over contiguous memory☆22Updated 2 years ago
- Haskell numerical ODE solvers☆14Updated 8 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Programmatically create new instances using core-to-core plugins☆11Updated 4 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated last month
- Source Layouting Engine☆11Updated 4 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Updated 6 years ago
- A monadic interface for DAG construction.☆24Updated 4 years ago
- Sift through Haskell code for analysis purposes☆18Updated 7 years ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- Sort any Traversable container☆41Updated 3 years ago
- Overloaded plugin☆30Updated last year
- Derive KnownNat constraints from other KnownNat constraints☆14Updated this week
- Futuristic New Age Golden Test management☆15Updated 3 years ago
- Script to download all of Hackage☆15Updated 6 years ago
- Verified left pad☆19Updated 7 years ago
- ☆14Updated 3 years ago
- high-level stream sockets in haskell☆17Updated last month
- A haskell library providing Word128 and Int128 types☆21Updated last month
- Parse bytes fast☆24Updated last month