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:
- (design phase) Open source black box re-implementation of the Jane's Fighters Anthology engine☆16Feb 3, 2024Updated 2 years ago
- ☆18Aug 21, 2018Updated 8 years ago
- Overlay over bigarrays of chars☆14Oct 23, 2020Updated 5 years ago
- Lightweight PPX extension for OCaml to support natural monadic syntax.☆20Jun 16, 2021Updated 5 years ago
- Automatically add and update GOG Galaxy installed games as Steam shortcuts☆11Jun 19, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆30Sep 20, 2021Updated 5 years ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆18Aug 26, 2026Updated last month
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Idiomatic Async Prometheus Query (PromQL) Client for Rust.☆21May 8, 2020Updated 6 years ago
- Rust implementation of MurmurHash3.☆13Sep 14, 2026Updated 3 weeks ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆13Aug 16, 2023Updated 3 years ago
- ☆21Aug 25, 2017Updated 9 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- an arcane Lisp dialect written in Go for fun and prosperity☆13Jan 7, 2026Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Scientific Programming for Wind Energy (46120)☆47May 7, 2026Updated 5 months ago
- Tiny recursive descent expression parser, compiler, and evaluation engine for math expressions.☆11Jul 11, 2023Updated 3 years ago
- Java JNI binding for mujoco physics system☆18Mar 18, 2025Updated last year
- i3 configuration files for ArchStrike☆10Dec 8, 2018Updated 7 years ago
- A supervised machine learning library.☆12May 19, 2020Updated 6 years ago
- Universal stack-based buffer overfow exploitation tool☆23May 7, 2014Updated 12 years ago
- A compiler from a subset of Rust to Brainfuck☆16Oct 2, 2024Updated 2 years ago
- A C++ bindings generator for Rust.☆17May 25, 2021Updated 5 years ago
- 7zx is a small C library to extract, test and list 7z / 7zip archives☆11Oct 1, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- GNS3 Topology Converter☆12Aug 30, 2016Updated 10 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated 2 years ago
- DIY EMG VR Controller for Oculus Quest 2: low-cost, user-friendly electromyography-based control system with Arduino, MyoWare sensors, an…☆14Mar 30, 2023Updated 3 years ago
- Cython based high performance alternative to Python (re) module for doing basic pattern matching on large data-set..☆11Dec 15, 2022Updated 3 years ago
- enuSpace plugin for Tensorflow (graphical logic block, flow programming)☆11Feb 6, 2020Updated 6 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆11Jul 13, 2025Updated last year
- Auto Generate Airflow's dag.py On The Fly☆14Feb 10, 2025Updated last year
- Remake of Railroad Tycoon in OCaml☆20Updated 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.
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆13Jul 9, 2025Updated last year
- measures and prints wall time in rust for given scope☆19Dec 9, 2024Updated last year
- The core OCaml system: compilers, runtime system, base libraries☆22Sep 15, 2026Updated 3 weeks ago
- Quick and simple stacktraces for C++☆12Oct 10, 2015Updated 11 years ago
- Purely functional iterators compatible with standard `seq`.☆31Dec 6, 2023Updated 2 years ago
- A terminal user interface for redshift☆17May 9, 2026Updated 5 months ago
- ☆10Dec 3, 2020Updated 5 years ago