K3: A Declarative Data Systems Programming Framework
☆15Jul 11, 2016Updated 9 years ago
Alternatives and similar repositories for K3
Users that are interested in K3 are comparing it to the libraries listed below
Sorting:
- Unlock level without hassle in Candy Crush Saga☆22Sep 5, 2017Updated 8 years ago
- ☆10Feb 13, 2025Updated last year
- 7zx is a small C library to extract, test and list 7z / 7zip archives☆10Feb 11, 2023Updated 3 years ago
- Best Movie App with Ionic 4 using The Movie DB API☆16May 24, 2019Updated 6 years ago
- C++ template edition of the (standard) kalman filter☆10Aug 26, 2012Updated 13 years ago
- ☆12Dec 16, 2024Updated last year
- Linux society's response to Guitar Hero. :)☆45Aug 30, 2017Updated 8 years ago
- ☆11Sep 8, 2025Updated 5 months ago
- enuSpace plugin for Tensorflow (graphical logic block, flow programming)☆11Feb 6, 2020Updated 6 years ago
- Convert asciinema JSON files to GIF for embedding in Github, Medium, email, Slack and more!☆11Sep 24, 2020Updated 5 years ago
- Now UI Pro Dashboard For Laravel Framework 11.x and Up☆10May 27, 2024Updated last year
- old - now lives in https://github.com/concourse/concourse☆11Mar 24, 2022Updated 3 years ago
- C++ implementation of an incremental primal-dual assignment problem solver.☆12Dec 13, 2024Updated last year
- ☆13Jun 7, 2022Updated 3 years ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 7 months ago
- ☆10Jan 29, 2025Updated last year
- Project Template for IHP. Used by ihp-new. License: MIT☆11Jan 22, 2026Updated last month
- Diesel support for citext extension☆11Aug 17, 2020Updated 5 years ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆12Jul 9, 2025Updated 7 months ago
- Native C++ Library☆49May 23, 2015Updated 10 years ago
- validates data imports in analysis pipeline☆10Jan 19, 2023Updated 3 years ago
- 基于antd-mobile, dva.js和create-react-app的react app项目模板，开箱即用，直接开发。A boilerplate based on ant design mobile，dva.js and create-react-app☆11Jul 17, 2018Updated 7 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- signs things with ssh-ed25519 keys☆13Jan 4, 2019Updated 7 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Default shared prefrences in android comes with limitations. Developers cant save objects to it, neither are those encrypted. This is to …☆11Dec 21, 2018Updated 7 years ago
- Fork of Will Glozer's erlang postgresql pool server, so it can be maintained and polished.☆31Apr 23, 2010Updated 15 years ago
- Dialog is a Dialogflow v2 API implementation written in Kotlin. With some great optional extensions you can use to write your own voice a…☆10Apr 19, 2021Updated 4 years ago
- Python library implementing recommender systems algorithms with http://tensorflow.org☆12Dec 21, 2018Updated 7 years ago
- std extensions library☆13Jul 23, 2017Updated 8 years ago
- A collaborative, real-time feature model editor☆10Nov 27, 2023Updated 2 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Aug 10, 2021Updated 4 years ago
- A Syn Attribute Parser Toolkit☆14Oct 15, 2024Updated last year
- The EPFL Dojo (x-platform) app☆11Jan 5, 2018Updated 8 years ago
- Bind zone & named plugin☆11Mar 12, 2020Updated 5 years ago
- My personal configs / dotfiles / rcfiles / etc.,☆17Mar 13, 2019Updated 6 years ago
- An i18n implementation in Rust.☆11May 4, 2019Updated 6 years ago
- Universal (Isomorphic) InfernoJS boilerplate with Express, TypeScript and FuseBox☆14Sep 5, 2020Updated 5 years ago
- Alternative Slack client, written in C++/QML with help of Qt framework☆12Aug 3, 2019Updated 6 years ago