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:
- Материалы для подготовки к ГОСам☆25Feb 9, 2026Updated 6 months ago
- потоковый курс ВМК МГУ по DL☆16Dec 1, 2022Updated 3 years ago
- Library for manipulating gdb in batch mode☆21Aug 9, 2026Updated 2 weeks ago
- Performance monitoring agent for eBPF programs☆18Aug 17, 2026Updated last week
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆153Aug 7, 2026Updated 2 weeks 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.
- Sydr benchmark applications☆17Jul 25, 2022Updated 4 years ago
- ☆12Jan 18, 2018Updated 8 years ago
- Task management system☆25Jan 6, 2026Updated 7 months ago
- cotea: Ansible control tool☆14Oct 30, 2024Updated last year
- ☆44Jul 28, 2026Updated 3 weeks ago
- Service for distributed systems deployment; part of Asperitas☆19Mar 3, 2023Updated 3 years ago
- Fuzzing Lua runtimes without pain☆16Aug 4, 2026Updated 2 weeks ago
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆359Jun 2, 2026Updated 2 months ago
- Terminal-based NetFlow/sFlow/IPFIX flow monitoring for OpenvSwitch☆18Jan 16, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆50Aug 9, 2023Updated 3 years ago
- ☆17Apr 17, 2023Updated 3 years ago
- run AFL with dynamorio☆37Aug 24, 2020Updated 5 years ago
- GNOME Shell extension to hide keyboard layout indicator in status bar☆22Apr 21, 2026Updated 4 months ago
- Hexo theme suited for coding blogs, bootstrap based☆11Aug 20, 2018Updated 8 years ago
- User authentication for Loopback made simple.☆10Mar 6, 2017Updated 9 years ago
- Vue.js UI component that allows users to define multiple filters that can then be used to filter data.☆15Nov 20, 2018Updated 7 years ago
- Firos helps to connect ROS-based robots to the Fiware Ecosystem...☆12Oct 16, 2021Updated 4 years ago
- Gitstats application for OpenCPU☆12May 13, 2024Updated 2 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.
- Basic ROS Control of GoPiGo Robot☆14Aug 23, 2017Updated 9 years ago
- Language Server for Prolog☆13Jul 16, 2026Updated last month
- ☆12Aug 13, 2018Updated 8 years ago
- Integrate a DASH7 gateway with the ThingsBoard platform☆10Oct 10, 2018Updated 7 years ago
- A coverage-guided, native Lua fuzzing engine.☆63Aug 11, 2026Updated last week
- Realtime IoT data streaming from Smartphone sensors☆11Aug 26, 2020Updated 5 years ago
- Resin container that runs dropbear on boot.☆12Apr 23, 2019Updated 7 years ago
- ☆13Jan 16, 2026Updated 7 months ago
- Event driven pipeline using OpenFaaS, Minio and Tensorflow inception☆15Jun 1, 2022Updated 4 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.
- Example of how to deploy Go code on a balena supported device.☆16Apr 28, 2025Updated last year
- A Resin.io template application that allows wifi configuration via BLE service☆10Nov 21, 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 4 months ago
- A set of recipes for doing common tasks in ROS 2☆10Nov 16, 2016Updated 9 years ago
- Google Cloud IoT integration☆16Jul 14, 2022Updated 4 years ago
- AWS IOT Bridge Client for Arduino Uno / Mega with Ethernet Shield☆10Sep 22, 2018Updated 7 years ago