Testing system for Prolog programs on Flask+React. Useful for exam preparation
☆23Jan 31, 2023Updated 3 years ago
Alternatives and similar repositories for prolog-testing-system
Users that are interested in prolog-testing-system are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆50Aug 9, 2023Updated 2 years ago
- Hexo theme suited for coding blogs, bootstrap based☆11Aug 20, 2018Updated 7 years ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 3 months ago
- ☆14Jul 15, 2024Updated last year
- User authentication for Loopback made simple.☆10Mar 6, 2017Updated 9 years 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.
- Gitstats application for OpenCPU☆12May 13, 2024Updated 2 years ago
- Integrate a DASH7 gateway with the ThingsBoard platform☆10Oct 10, 2018Updated 7 years ago
- Resin container that runs dropbear on boot.☆12Apr 23, 2019Updated 7 years ago
- Resin electron vue project☆13Jun 18, 2017Updated 8 years ago
- A server/client approach to face recognition. Aims to be fast, secure and iot friendly. Uses dlib.☆11May 7, 2021Updated 5 years ago
- Event driven pipeline using OpenFaaS, Minio and Tensorflow inception☆15Jun 1, 2022Updated 3 years ago
- ☆13Jan 16, 2026Updated 4 months ago
- firmata firmware for the BGM111 co-processor on the balenaFin☆12Nov 16, 2022Updated 3 years ago
- A Resin.io template application that allows wifi configuration via BLE service☆10Nov 21, 2018Updated 7 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.
- Source for the Figma Workflows plugin.☆15Mar 3, 2022Updated 4 years ago
- Firos helps to connect ROS-based robots to the Fiware Ecosystem...☆12Oct 16, 2021Updated 4 years ago
- Raspberry Pi 3 on-board Bluetooth example☆20Oct 15, 2018Updated 7 years ago
- Docker + WSGI-Python3-Flask-Eve + MongoDB : Restful API MicroService☆12May 10, 2021Updated 5 years ago
- This is a *simple* BLE broadcast based sensor net. It is not secure at all.☆14Apr 23, 2026Updated last month
- A set of recipes for doing common tasks in ROS 2☆10Nov 16, 2016Updated 9 years ago
- A Codesandbox Template☆10May 20, 2026Updated last week
- ☆12Aug 13, 2018Updated 7 years ago
- CWL experimental grammar☆11Nov 16, 2025Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- dani-garcia/bitwarden_rs in docker-compose!☆12Nov 8, 2022Updated 3 years ago
- Example programs using Uber's ludwig deep learning framework☆10Apr 20, 2022Updated 4 years ago
- In this brief post I’d like to share my experience with the Kaggle Python Docker image, which simplifies the Data Scientist’s life ….☆10Jan 8, 2018Updated 8 years ago
- Google Cloud IoT integration☆16Jul 14, 2022Updated 3 years ago
- Some utilities for the development of agenda workers with Inversify.☆13Mar 4, 2023Updated 3 years ago
- Node.js server that responds to github webhook post-receive events for easy push-to-deploy☆12Dec 28, 2020Updated 5 years ago
- Spark Streaming jobs.☆11Mar 10, 2015Updated 11 years ago
- A Node Red node for license plate recognition (using OpenAlpr cloud service)☆13Jul 11, 2017Updated 8 years ago
- Port from SVN. Required for PR2's webui☆12Mar 21, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- aws elastic beanstalk + docker + drush_deployment = awesome☆15May 9, 2017Updated 9 years ago
- Push Notification on Vue.js pwa project☆10May 31, 2018Updated 7 years ago
- Reactive C3 charting library based on D3 packaged for Meteor.js☆11Jan 10, 2018Updated 8 years ago
- Place to put my dockerfiles☆13Jan 11, 2024Updated 2 years ago
- Curiosity based exploration and playing in RL with Gym Robotics envs.☆12Sep 25, 2018Updated 7 years ago
- Docker Compose setup for TICK stack + grafana☆11Apr 24, 2019Updated 7 years ago
- A toolkit for extracting posts and post metadata from web forums.☆18Feb 5, 2021Updated 5 years ago