Hok: Higher-Order GPU Kernels
☆21Dec 4, 2025Updated 11 months ago
Alternatives and similar repositories for hok
Users that are interested in hok are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GPotion: a DSL for GPU programming in Elixir☆19Sep 26, 2024Updated 2 years ago
- ☆16Nov 16, 2025Updated 11 months ago
- Recursos sobre Elixir em Português☆12Nov 2, 2021Updated 5 years ago
- Manage NPM dependencies in your Elixir projects, without Node or NPM.☆13Mar 1, 2024Updated 2 years ago
- ☆11Oct 16, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Artificial Neural Networks in Elixir☆55Jul 15, 2020Updated 6 years ago
- FreeBSD on StarFive VisionFive 2☆10Dec 23, 2023Updated 2 years ago
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 4 years ago
- A Swiss Army knife for your Ecto schemas☆37Apr 1, 2026Updated 7 months ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago
- Fast LLM inference with Elixir and Bumblebee☆67Jan 15, 2026Updated 9 months ago
- schema validation and struct builder, ala Elixir's ecto☆35Jan 7, 2024Updated 2 years ago
- Markdown parse compatible with open learning xml☆13May 10, 2023Updated 3 years ago
- A compiler for a relational programming language for the BEAM, written in OCaml☆26Updated this week
- 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.
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- Conjunto de plantillas en LaTeX para las diversas situaciones que se me han presentado durante mi vida académica en la UNAM☆14Mar 14, 2025Updated last year
- a template language written while live-streaming☆12Updated this week
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- Arcade Learning Environment for Elixir☆34Jun 6, 2026Updated 5 months ago
- A proxy to use SSE MCPs from STDIO clients☆101May 6, 2025Updated last year
- ☆13Dec 2, 2021Updated 4 years ago
- SQLAlchemy dialect for Dremio☆16Feb 8, 2023Updated 3 years ago
- A Ruby implementation of the Firmata protocol.☆13May 18, 2023Updated 3 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.
- A formalization of continuation-passing style calculi in Coq [WIP]☆44Oct 21, 2026Updated 2 weeks ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 6 years ago
- A Simple and efficient HTTP Client for C☆12Oct 18, 2026Updated 2 weeks ago
- Code from Handbook of Neuroevolution Through Erlang translated to Elixir☆12Nov 26, 2017Updated 8 years ago
- Leprechaun Game wrote in Elixir☆12Oct 28, 2026Updated last week
- Use Gleam inside an Elixir project with good developer experience in both codebases☆14Feb 13, 2025Updated last year
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Protocols made fun: Igor's blog☆11Sep 21, 2026Updated last month
- Library that provides functionality needed to build a Chinese Checkers game☆10Jan 19, 2021Updated 5 years ago
- 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.
- Shrinking induction-recursion... sometimes you just wanna be small!☆16May 7, 2026Updated 6 months ago
- Calculus of Constructions☆19Jul 17, 2019Updated 7 years ago
- A numerical integrator written in Elixir for the solution of sets of non-stiff ordinary differential equations (ODEs).☆41Feb 15, 2025Updated last year
- Linux/X11 tool for intercepting mouse events and executing commands. Written in Kotlin Native.☆13Sep 6, 2021Updated 5 years ago
- ☆22Dec 7, 2023Updated 2 years ago
- Go get 'em, slugger☆16Jan 21, 2018Updated 8 years ago
- A somewhat antiquated repo of implementations of puzzles in different languages.☆15Jan 25, 2018Updated 8 years ago