K3: A Declarative Data Systems Programming Framework
☆14Jul 11, 2016Updated 10 years ago
Alternatives and similar repositories for K3
Users that are interested in K3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- High End Visualization (HEV) is a software environment for developing visualization applications in both desktop and immersive environmen…☆11Sep 18, 2019Updated 7 years ago
- An Erlang/OTP Application Startup Utility☆13Oct 29, 2012Updated 14 years ago
- ☆10Apr 2, 2018Updated 8 years ago
- Kerberos parser written in rust with nom☆14Nov 24, 2025Updated 11 months ago
- GPSTest has moved to https://github.com/barbeau/gpstest☆22Jun 20, 2013Updated 13 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.
- Convert asciinema JSON files to GIF for embedding in Github, Medium, email, Slack and more!☆10Sep 24, 2020Updated 6 years ago
- OCaml PPX deriver that generates converters between regular or polymorphic variants and strings☆11Jul 2, 2026Updated 3 months ago
- A script runner☆20Sep 8, 2010Updated 16 years ago
- Qt5 qtbase submodule with Blizzard's changes☆16Sep 29, 2026Updated last month
- Java Hello World, LLVM Edition☆12Nov 12, 2025Updated 11 months ago
- Simple, existential optics library for OCaml☆18Sep 24, 2022Updated 4 years ago
- ☆23Nov 7, 2016Updated 9 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- A Syn Attribute Parser Toolkit☆14Oct 15, 2024Updated 2 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.
- Overlay over bigarrays of chars☆14Oct 23, 2020Updated 6 years ago
- Iterative Reduce☆22Jun 3, 2014Updated 12 years ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆18Aug 26, 2026Updated 2 months ago
- logging library for rayon☆17Sep 14, 2020Updated 6 years ago
- an ocaml package to generate ULIDs☆20Jan 2, 2019Updated 7 years ago
- Drawing web app made especially for the iPhone, but works in all modern browsers.☆22Jan 7, 2011Updated 15 years ago
- Lightweight PPX extension for OCaml to support natural monadic syntax.☆20Jun 16, 2021Updated 5 years ago
- Tiny recursive descent expression parser, compiler, and evaluation engine for math expressions.☆11Jul 11, 2023Updated 3 years ago
- Hue based HBase Explorer☆25Dec 14, 2010Updated 15 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.
- Share your local tmux session in a web browser through a remote bridge machine.☆12Dec 24, 2019Updated 6 years ago
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆14Updated this week
- A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.☆21Nov 20, 2020Updated 5 years ago
- ☆10Apr 20, 2026Updated 6 months ago
- Statically-checked Lisp for Nix☆11May 23, 2026Updated 5 months ago
- Tools and library to manipulate EFI variables.☆10Updated this week
- Show better gist previews in twitter with a code snippet and a link to the gist☆13Sep 15, 2020Updated 6 years ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 3 years ago
- Pioupiou 🐤, the nano PPL☆11May 25, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Composable byte stream readers and writers for OCaml☆23Sep 11, 2026Updated last month
- Cheat sheets on varios topics, command line wisdom accumulated over the years☆10Feb 17, 2025Updated last year
- generic I/O streams of bytes☆26Sep 18, 2026Updated last month
- Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)☆24Jul 29, 2026Updated 3 months ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- A collection of plugin for j4status☆14Oct 2, 2023Updated 3 years ago
- an impala client for ruby☆34Jan 25, 2017Updated 9 years ago