Energy-efficient life logging for Android platforms.
☆30Aug 11, 2020Updated 5 years ago
Alternatives and similar repositories for Ubiqlog
Users that are interested in Ubiqlog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Android app for tracking your locations and uploading them on your private server☆11Jul 1, 2017Updated 9 years ago
- A Reinforcement Learning package for 6th semester project☆12Jun 26, 2018Updated 8 years ago
- ☆10Jan 5, 2024Updated 2 years ago
- [RA-L/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.☆17Dec 22, 2023Updated 2 years ago
- Code of Feature Fusion Transferability Aware Transformer for Unsupervised Domain Adaptation, WACV 2025☆11Dec 5, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LaTeX package to typeset Uppaal timed automata specifications☆13Dec 19, 2025Updated 7 months ago
- ☆17Apr 10, 2015Updated 11 years ago
- Tradingview Realtime data capture using streamlit☆13Aug 8, 2022Updated 3 years ago
- angular beta☆11Mar 12, 2016Updated 10 years ago
- A game where you need to guess whether a tweet comes from a human, or from a neural network language model trained on a category of tweet…☆13Jan 5, 2023Updated 3 years ago
- Environments from the papers "Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning" and "I…☆12Aug 15, 2023Updated 2 years ago
- Run the kakoune text editor in your browser!☆10Jan 6, 2023Updated 3 years ago
- Convert a swagger.json file into an emacs org-mode buffer/file for export to static pdf/html/latex☆11Jun 11, 2016Updated 10 years ago
- A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)☆10Mar 16, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Aug 8, 2023Updated 2 years ago
- a collection of tools for GR(1) synthesis and related activities☆21Dec 12, 2025Updated 7 months ago
- Events and Situations Ontology☆14Apr 20, 2018Updated 8 years ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Jan 21, 2017Updated 9 years ago
- A custom watcher plugin for Elasticsearch that feeds Apache Kafka☆11Mar 9, 2018Updated 8 years ago
- The documentation verification tool to make sure that nothing is considered easy or simple.☆11Apr 19, 2023Updated 3 years ago
- ADs remover for dnvod.tv☆16Mar 2, 2019Updated 7 years ago
- Rescuing the SOUL great logic meta programming language☆12Oct 7, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Macintosh IDE for Lisp-related languages.☆14Jan 14, 2020Updated 6 years ago
- Semanlink is a personal information management system based on RDF. It lets you add tags, as well as other RDF metadata, to files, bookma…☆19Jan 17, 2025Updated last year
- Interpreter written for Prolog course.☆10Feb 18, 2020Updated 6 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 5 months ago
- A repository of running multi-quadrotor simulations in Gazebo with PX4 inside Docker container.☆17Dec 19, 2025Updated 7 months ago
- Nodeless web server demo☆10Sep 8, 2019Updated 6 years ago
- A library to add popup menus at text selections.☆17Nov 27, 2017Updated 8 years ago
- Passbook-style cards controller☆20Jan 16, 2014Updated 12 years ago
- ☆17Jun 3, 2025Updated last year
- 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.
- An updated version Lady Ada's Wavebubble☆11May 30, 2013Updated 13 years ago
- Scala wrapper generator for interop with C, C++, Objective-C, and script languages.☆15Oct 9, 2020Updated 5 years ago
- Scala Ammonite REPL in Emacs term mode.☆14Apr 16, 2020Updated 6 years ago
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 8 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- Accepted by NeurIPS 2023☆20Sep 25, 2023Updated 2 years ago
- DATEX II for Java☆11Jan 26, 2015Updated 11 years ago