HPCE / hpce-2017Links
☆14Updated 7 years ago
Alternatives and similar repositories for hpce-2017
Users that are interested in hpce-2017 are comparing it to the libraries listed below
Sorting:
- (DEPRECATED, migrated to main repo - hasktorch/hasktorch) Research code generation / FFI binding using libtorch 1.x for the next Hasktor…☆11Updated 5 years ago
- ☆13Updated 8 years ago
- ☆17Updated 5 years ago
- LLVM backend for Accelerate☆166Updated 2 months ago
- Analytic sampler compiler for combinatorial systems☆30Updated 3 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Updated 3 years ago
- Template for quickly and easily combining happy and alex☆48Updated 9 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago
- ☆11Updated 3 years ago
- Haskell bindings for the W3C WebDriver API☆22Updated 11 months ago
- Computer players for a collaborative card game☆25Updated 6 years ago
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆295Updated 3 years ago
- Image processing examples which use the friday image library.☆15Updated 8 years ago
- Safety Verification of Deep Neural Networks☆50Updated 7 years ago
- Reinforcement learning in haskell☆45Updated 4 years ago
- Proposed changes to Haskell Core Libraries☆19Updated 4 years ago
- ☆103Updated 4 years ago
- a battery-included library for dataflow protocols☆22Updated last week
- Haskell bindings for MLIR☆109Updated 5 months ago
- On going experiments with Clash☆22Updated 9 years ago
- Neural Nets in native Haskell☆124Updated 4 years ago
- Specify Servant routes with records☆87Updated 7 years ago
- the source for my personal site, written in Haskell, powered by Hakyll☆47Updated 3 years ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆53Updated 7 years ago
- DiffusionKinetics open-source monorepo☆116Updated 2 years ago
- Do notation in Python.☆9Updated 4 years ago
- Overengineered attempt at implementing the RealWorld API spec in Haskell using Servant and Persistent☆16Updated 7 years ago
- A tool to fill in the version ranges in a cabal file.☆17Updated 10 years ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Updated 7 months ago
- The Good Data Movement manifesto.☆14Updated 5 years ago