A compiler for a relational programming language for the BEAM, written in OCaml
☆26Oct 24, 2026Updated this week
Alternatives and similar repositories for karuta
Users that are interested in karuta are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dataflow Scripting Language | InfluxData's TICKscript for Erlang.☆10Apr 18, 2025Updated last year
- An incredibly flexible and performant JSON parser, generator and formatter in pure Erlang.☆27Updated this week
- Open source framework for scalable multiplayer games.☆28Apr 20, 2025Updated last year
- An Erlang/OTP logger handler for syslog☆24Aug 12, 2024Updated 2 years ago
- A library to test Erlang documentation☆16May 17, 2026Updated 5 months ago
- 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.
- An implementation of Warren's abstract machine written in OCaml☆16Nov 11, 2025Updated 11 months ago
- Erlang node discovery and connection/reconnection☆21Oct 18, 2026Updated last week
- This repo contains a sample configuration that allows an fsharp project w/ sql provider to 1. build on CI and 2. build a docker image☆10Dec 1, 2021Updated 4 years ago
- ☆10Dec 22, 2021Updated 4 years ago
- Erlang HTTP client benchmarks☆12Nov 17, 2020Updated 5 years ago
- A package for creating helpful, and pretty CLI messages.☆33May 1, 2024Updated 2 years ago
- This project explores how functional programming and numerical computing in Elixir can be used to create dynamic, interactive visualizati…☆22Jul 9, 2025Updated last year
- Demo for ElixirConf EU 2024☆20Jul 8, 2025Updated last year
- ☆13Dec 2, 2021Updated 4 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.
- Static typechecker for Erlang☆69Updated this week
- Discover Cadre in the Vanguard☆10Aug 18, 2016Updated 10 years ago
- Toy programming language☆20May 18, 2024Updated 2 years ago
- Erlang TOML Parser☆24Sep 9, 2023Updated 3 years ago
- High-performance Messaging System based on a gRPC protocol☆15Apr 27, 2021Updated 5 years ago
- CI/CD platform☆11Mar 3, 2023Updated 3 years ago
- Alternative syntax for Erlang☆20Nov 22, 2025Updated 11 months ago
- Hok: Higher-Order GPU Kernels☆21Dec 4, 2025Updated 10 months ago
- Elixir wrapper for Typst using Rustler☆19Sep 4, 2026Updated last month
- 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.
- Erlang BSON encoder/decoder☆14Mar 4, 2026Updated 7 months ago
- A language designed to closely model current chip designs rather than the PDP-11☆21Updated this week
- A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.☆16Aug 28, 2023Updated 3 years ago
- Example use of ts2ocaml☆18Oct 22, 2026Updated last week
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆21Updated this week
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆12Nov 14, 2024Updated last year
- a self hosted git server that you can push, clone or pull over ssh☆32Dec 13, 2023Updated 2 years ago
- Decompilation of Klonoa: Empire of Dreams☆19Oct 21, 2026Updated last week
- THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang☆20Nov 15, 2025Updated 11 months 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.
- A programming language, aka a THING☆10Sep 22, 2020Updated 6 years ago
- OpenPix/Woovi Java SDK☆13Jul 25, 2024Updated 2 years ago
- Prototype of set-theoretic type system, with polymorphism and type inference.☆16Oct 17, 2025Updated last year
- Erlang library to read sysctl-like configuration files☆23Oct 22, 2026Updated last week
- An HTTP testing and deployment system for CS 531 (Web Server Design) course projects☆14Oct 3, 2022Updated 4 years ago
- Practicing tool for coders 🤘☆16Dec 29, 2020Updated 5 years ago
- Simple CLI tool to cross-check your raw 23andMe genetic data against the ClinVar database☆19Oct 3, 2025Updated last year