ardubois / gpotionView external linksLinks
GPotion: a DSL for GPU programming in Elixir
☆20Sep 26, 2024Updated last year
Alternatives and similar repositories for gpotion
Users that are interested in gpotion are comparing it to the libraries listed below
Sorting:
- Hok: Higher-Order GPU Kernels☆23Dec 4, 2025Updated 2 months ago
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 3 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago
- Elixir time zone support for your OS-supplied zoneinfo files☆27Jun 26, 2024Updated last year
- Telemetry instrumentation for Cowboy☆31Jul 19, 2022Updated 3 years ago
- Drizzle is an advanced irrigation controller for Nerves-supported devices☆25Feb 17, 2025Updated 11 months ago
- An example Phoenix Project that uses Gleam for Phoenix Hooks☆30Feb 1, 2023Updated 3 years ago
- Forkable repo for entries in Phoenix Phrenzy (https://phoenixphrenzy.com/)☆28Sep 30, 2019Updated 6 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Feb 9, 2026Updated last week
- ☆10Aug 9, 2017Updated 8 years ago
- ScyllaDB + Ecto☆38Jul 24, 2025Updated 6 months ago
- schema validation and struct builder, ala Elixir's ecto☆36Jan 7, 2024Updated 2 years ago
- Display thumbnails in topic lists☆15Jan 29, 2026Updated 2 weeks ago
- Some examples of integrations with Transcend in various languages.☆11Dec 22, 2025Updated last month
- An example Phoenix real-time web application for pointing cards☆10Jan 4, 2023Updated 3 years ago
- Build a Serverless Lie Detector that uses AI for Facial Recognition (with Node.js, Azure Functions, Azure Face API, and Courier API).☆10Sep 7, 2022Updated 3 years ago
- Using simpleCV to count faces☆16Jan 30, 2012Updated 14 years ago
- A simple abstraction for standardized observability with telemetry and more in Elixir☆40Mar 24, 2024Updated last year
- Example project using avoriaz and jest☆12Dec 7, 2022Updated 3 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Nov 10, 2020Updated 5 years ago
- ☆13Mar 2, 2018Updated 7 years ago
- ☆18Jan 14, 2020Updated 6 years ago
- Infinite runner game, learn HTML5 game development at Zenva.com☆12Dec 6, 2022Updated 3 years ago
- Parse command line arguments☆12Sep 23, 2017Updated 8 years ago
- Unity project that loads pretrained tensorflow pb model files and use them to predict☆11Apr 26, 2018Updated 7 years ago
- ☆11May 17, 2019Updated 6 years ago
- Lightweight PDF DRM tool to protect the export PDF file.☆11Mar 26, 2018Updated 7 years ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- COMET Tracking : Machine Learning Approaches☆10Aug 27, 2018Updated 7 years ago
- A difficulty-aware embedding of complementary deep networks for image classification☆13Jul 25, 2024Updated last year
- Site da Guilda feito com Elixir e Phoenix LiveView.☆11Feb 23, 2023Updated 2 years ago
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- A list of virtualization software with focus on VMware alternatives.☆22Jan 31, 2026Updated 2 weeks ago
- Implementations of the models discussed in the book Generative Deep Learning by David Foster☆14Sep 1, 2020Updated 5 years ago
- Charlas, tutoriales, charlas relámpago☆11Jun 5, 2019Updated 6 years ago
- Minimal Hanami 2 application starter template — good for non-web apps!☆10Oct 3, 2020Updated 5 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- ☆13Sep 2, 2024Updated last year
- Examples showing mechanisms of `Maybe` monad and `do-notation`.☆14Jun 29, 2023Updated 2 years ago