GPotion: a DSL for GPU programming in Elixir
☆19Sep 26, 2024Updated 2 years ago
Alternatives and similar repositories for gpotion
Users that are interested in gpotion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hok: Higher-Order GPU Kernels☆21Dec 4, 2025Updated 11 months ago
- Use Gleam inside an Elixir project with good developer experience in both codebases☆14Feb 13, 2025Updated last year
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago
- schema validation and struct builder, ala Elixir's ecto☆35Jan 7, 2024Updated 2 years ago
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- a template language written while live-streaming☆12Updated this week
- Interactive TUI for exploring Quint/Apalache ITF traces☆13Jan 30, 2026Updated 9 months ago
- zerotier network configuration as a NixOS flake☆14Updated this week
- Quint-connect for Typescript☆14Aug 26, 2026Updated 2 months ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- ⛓️ Iterators for Python with higher-order functions .map(), .filter() and .reduce() in a fluent interface. As seen in Rust, Java, Scala e…☆12Aug 8, 2026Updated 2 months ago
- ☆13Dec 2, 2021Updated 4 years ago
- A FLAME Backend for Slurm.☆12Oct 30, 2026Updated last week
- CLI tool to help support event sourcing applications☆12Jul 13, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A formalization of continuation-passing style calculi in Coq [WIP]☆44Oct 21, 2026Updated 2 weeks ago
- A Simple and efficient HTTP Client for C☆12Oct 18, 2026Updated 2 weeks ago
- Leprechaun Game wrote in Elixir☆12Oct 28, 2026Updated last week
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Library that provides functionality needed to build a Chinese Checkers game☆10Jan 19, 2021Updated 5 years ago
- Shrinking induction-recursion... sometimes you just wanna be small!☆16May 7, 2026Updated 6 months ago
- Calculus of Constructions☆19Jul 17, 2019Updated 7 years ago
- Glitch.tv is a streaming platform written in the Elixir programming language using LiveExWebRTC Components.☆11May 30, 2025Updated last year
- Neovim plugin for RefactorEx☆16Jun 30, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆58Updated this week
- My personal website written using the HOT stack!☆11Jul 4, 2024Updated 2 years ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 years ago
- ☆14Jan 3, 2024Updated 2 years ago
- An implementation of Warren's abstract machine written in OCaml☆16Nov 11, 2025Updated 11 months ago
- Compilador Geral Delégua☆12Aug 27, 2026Updated 2 months ago
- Elixir for Everybody☆17Jun 14, 2024Updated 2 years ago
- 🪗 Dynamic concurrency limits for controlling backpressure, inspired by TCP congestion control☆16May 4, 2026Updated 6 months ago
- Integration of Gleam's Lustre framework with Phoenix LiveView☆58Oct 7, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated 2 years ago
- Action to run tests, check coverage, and send a feedback message to the pull request.☆11Jul 29, 2026Updated 3 months ago
- Examples showing mechanisms of `Maybe` monad and `do-notation`.☆14Jun 29, 2023Updated 3 years ago
- Image server for Plug applications for streaming image transformations☆13Aug 18, 2026Updated 2 months ago
- Notas e código relacionados à disciplina "Programação Funcional"☆10Nov 17, 2022Updated 3 years ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- Simple date picker for React Native☆11Apr 24, 2017Updated 9 years ago