Mathematica Game Package
☆26Apr 17, 2022Updated 4 years ago
Alternatives and similar repositories for Deus
Users that are interested in Deus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A quick Mathematica tutorial☆13Apr 13, 2019Updated 7 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- A proof-of-concept graph Database on top of FoundationDB☆11Mar 1, 2019Updated 7 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 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.
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- Simple mathematica documentation generator☆11Apr 13, 2019Updated 7 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- Mathematica REPL plugin for IntellyJ IDEA IDE☆14Jun 11, 2018Updated 7 years ago
- Dev Ops Dashboard for Petabyte Scale AI Data Lake☆12Mar 28, 2023Updated 3 years ago
- All open source libraries and projects from the Caldera team.☆10Dec 9, 2022Updated 3 years ago
- search against iTunes using nodejs☆19Oct 10, 2018Updated 7 years ago
- GRUB fork with support for PlayStation 4 targets☆16Jun 10, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- strip tracking and syndicate google alerts☆11Jul 10, 2023Updated 2 years ago
- A Debugger function for all QML objects☆14Dec 8, 2013Updated 12 years ago
- ☆15Feb 5, 2020Updated 6 years ago
- An Ubuntu-based developer VM for hacking with Chef, Vagrant, Docker & Co☆16May 17, 2019Updated 7 years ago
- Master thesis template for Computer Science at TU Delft☆13May 19, 2022Updated 4 years ago
- VVVV addonpack for plugins dealing with CVImageLink☆36Nov 15, 2016Updated 9 years ago
- Convert Wolfram Mathematica notebooks to markdown files☆13Nov 14, 2017Updated 8 years ago
- ☆38Jul 3, 2015Updated 10 years ago
- WebGL WebSocket NodeJS Socket.io Game☆51Sep 21, 2012Updated 13 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.
- Quantum Programming Language Converter☆16Dec 14, 2025Updated 5 months ago
- Quadcopter control with RL☆16Nov 8, 2021Updated 4 years ago
- go写的看门狗，用于监控服务器上的各种定时脚本的运行状态☆12Oct 17, 2015Updated 10 years ago
- onset detection library☆13May 3, 2016Updated 10 years ago
- The Cancer.gov Digital Communications Platform☆12May 15, 2026Updated last week
- Repository for SDGM-560 Project☆12Nov 7, 2018Updated 7 years ago
- Testing and benchmarking tool for logic-related programs.☆32May 6, 2026Updated 2 weeks ago
- Image Search Engine with HuggingFace Sentence Transformer☆12Aug 31, 2023Updated 2 years ago
- gypified libmpg123 C library☆19Jun 22, 2014Updated 11 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.
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated 2 months ago
- Text/Image search for similar products☆11Aug 12, 2022Updated 3 years ago
- ☆12Jan 16, 2020Updated 6 years ago
- ☆21May 17, 2023Updated 3 years ago
- An extension to build Github-Pages easy☆19Dec 15, 2023Updated 2 years ago
- A little script that connect Unity (with HybridCLR hot update) and Jenkins together.☆17Mar 14, 2025Updated last year
- JavaScript control that allows you to arrange items into a grid and to move between them by dragging.☆16Jan 24, 2025Updated last year