Functional GPU programming - DSEL & compiler
☆22Sep 9, 2016Updated 10 years ago
Alternatives and similar repositories for shady-gen
Users that are interested in shady-gen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Amœba is a distributed network.☆18May 16, 2014Updated 12 years ago
- A self-describing binary data format for dependently-typed object graphs.☆13Apr 25, 2014Updated 12 years ago
- A partial implementation of Protocol Buffers in Idris☆32Aug 12, 2017Updated 9 years ago
- RESTful API for networked manufacturing. with initial emphasis on pick-and-place solutions.☆11Jul 13, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Sample code for FP Days 2014 talk☆13Nov 20, 2014Updated 11 years ago
- An AGI (asterisk gateway interface) client implementation for erlang☆12May 15, 2013Updated 13 years ago
- Backpack examples repository☆14Aug 18, 2017Updated 9 years ago
- deprecated☆25Jun 19, 2015Updated 11 years ago
- Webpack config generator for React apps☆12May 5, 2016Updated 10 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- A small (but hopefully growing) subset of the brl-cad primitives, being emitted as tcl scripts that mged can directly process into databa…☆11Dec 16, 2025Updated 10 months ago
- Presenters, titles & links☆10Apr 13, 2015Updated 11 years ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Blog showing content form steem blockchian using steemit platform and api.☆10May 26, 2017Updated 9 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Nov 24, 2021Updated 4 years ago
- This repository moved to https://github.com/elm-community/graph☆17Feb 22, 2023Updated 3 years ago
- authenticated data structures, generically☆55Oct 22, 2016Updated 10 years ago
- Docker file to setup the Haskell Plattform 2013.2.0.0☆10Sep 6, 2013Updated 13 years ago
- Ensure that a stream disconnects if it goes over `maxBytes` `perSeconds`☆13Apr 27, 2020Updated 6 years ago
- LEMS interpreter implemented in Python☆12Updated this week
- Functional Vector Graphics☆17Jun 19, 2017Updated 9 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- Linear maps as a GADT☆14Dec 17, 2012Updated 13 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 7 years ago
- Hot swapping compiled code while keeping a websocket connection open☆26May 24, 2016Updated 10 years ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆18Sep 17, 2016Updated 10 years ago
- ☆16May 5, 2018Updated 8 years ago
- DEPRECATED. Moved to elm-community/json-extra =>☆10Jun 16, 2016Updated 10 years ago
- Migrating to https://github.com/origamitower/folktale☆20Sep 6, 2016Updated 10 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Friendly functions for getting started with tasks☆11Nov 18, 2015Updated 10 years ago
- MIDI Controller for Panoramical☆17Apr 7, 2014Updated 12 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆104Oct 21, 2025Updated last year
- purescript-frp-rabbit☆13Jun 17, 2015Updated 11 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Sep 14, 2017Updated 9 years ago