Energy-efficient life logging for Android platforms.
☆30Aug 11, 2020Updated 6 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:
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆13Sep 27, 2021Updated 4 years ago
- A class that represents a graphical image.☆10Nov 22, 2021Updated 4 years ago
- Check the Accessibility of a PDF Document using eiii☆10Updated this week
- virtual-scroll typed web component that only render visible items on the DOM☆12Oct 21, 2021Updated 4 years ago
- Clearing numbers for Swedish banks☆13Sep 19, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A Reinforcement Learning package for 6th semester project☆12Jun 26, 2018Updated 8 years ago
- 📝 VuePress powered site and documentation for Fractal☆12Mar 4, 2023Updated 3 years ago
- ☆10Jan 5, 2024Updated 2 years ago
- TextMate bundle for the Showoff presentation tool☆18Jun 7, 2010Updated 16 years ago
- Stops Citrix Workspace from launching on startup for OSX☆11Mar 14, 2019Updated 7 years ago
- No-op function for tagged template literals☆18Jan 12, 2023Updated 3 years ago
- A Stencil compiler integration for Storybook.☆10Apr 3, 2025Updated last year
- Custom Web Component Helper Framework☆22Feb 10, 2022Updated 4 years ago
- LaTeX package to typeset Uppaal timed automata specifications☆13Dec 19, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Clean up all those Pythons crawling around your computer☆15Feb 2, 2023Updated 3 years ago
- query-replace in Emacs with smarts and history!☆10Jul 24, 2021Updated 5 years ago
- Environments from the papers "Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning" and "I…☆11Aug 15, 2023Updated 3 years ago
- Run the kakoune text editor in your browser!☆10Jan 6, 2023Updated 3 years ago
- Snake game, made with haskell-miso☆13Jan 7, 2018Updated 8 years ago
- ☆23Mar 26, 2022Updated 4 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
- [arXiv 2024] Articulated Object Manipulation using Online Axis Estimation with SAM2-Based Tracking☆18Apr 4, 2025Updated last year
- 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.
- Code exploring the use of reward machines in the context of cooperative multi-agent reinforcement learning.☆14Apr 29, 2023Updated 3 years ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- Libraries that clasp depends on☆13May 22, 2016Updated 10 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Jan 21, 2017Updated 9 years ago
- React JSONSchema Form Layout: Supercharge Your RJSF Experience!☆11Apr 16, 2024Updated 2 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- A 2 month Ego-vision Dataset with Autographer Wearable Camera and 2 users☆11Apr 28, 2020Updated 6 years ago
- WikiGenGPT creates fictional Wikipedia articles using GPT-4 API for imaginative exploration.☆13Nov 5, 2023Updated 2 years ago
- The documentation verification tool to make sure that nothing is considered easy or simple.☆11Apr 19, 2023Updated 3 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.
- Rescuing the SOUL great logic meta programming language☆12Oct 7, 2018Updated 7 years ago
- Macintosh IDE for Lisp-related languages.☆14Jan 14, 2020Updated 6 years ago
- Interpreter written for Prolog course.☆10Feb 18, 2020Updated 6 years ago
- ☆10Nov 5, 2022Updated 3 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 6 months ago
- A repository of running multi-quadrotor simulations in Gazebo with PX4 inside Docker container.☆18Dec 19, 2025Updated 8 months ago
- Nodeless web server demo☆10Sep 8, 2019Updated 6 years ago