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:
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Code for my blog☆10Feb 26, 2017Updated 9 years ago
- Make JVM Slow Again☆12Dec 21, 2016Updated 9 years ago
- ☆10Nov 11, 2019Updated 6 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.
- Coq集合模型论☆10Aug 18, 2022Updated 3 years ago
- Unity3D - Easy to use Fog Of War☆22Apr 6, 2017Updated 9 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- A program logic for concurrent randomized programs☆17Nov 9, 2018Updated 7 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- Lite, open-source version of teslarpi.com☆13Jul 22, 2025Updated last year
- ☆15Feb 21, 2022Updated 4 years ago
- Package to implement bots in Mathematica using the Telegram API.☆11Feb 19, 2017Updated 9 years ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Join us to build a great crypto DEX!☆15Jul 5, 2021Updated 5 years ago
- Chrome extension that logs all AJAX (XMLHttpRequest) activity to the Dev Tools Console, allowing inspection of AJAX calls, and open calls…☆26Aug 20, 2015Updated 10 years ago
- go写的看门狗，用于监控服务器上的各种定时脚本的运行状态☆12Oct 17, 2015Updated 10 years ago
- 1D Convolution Interactive Visualization build with d3.js☆18Feb 9, 2021Updated 5 years ago
- File view plugin for listing ue4 loaded file assets☆15Feb 7, 2023Updated 3 years ago
- A beautiful android tag group widget.☆23Mar 26, 2016Updated 10 years ago
- Reflective Shadow Maps☆14Mar 13, 2019Updated 7 years ago
- onset detection library☆13May 3, 2016Updated 10 years ago
- Repository for SDGM-560 Project☆12Nov 7, 2018Updated 7 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.
- gypified libmpg123 C library☆19Jun 22, 2014Updated 12 years ago
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated 4 months ago
- Java/JNI wrappers for OpenSceneGraph and some utility classes to easily develop OSG applications in Android☆20Oct 19, 2016Updated 9 years ago
- MapViewer for WGS84. GCJ, baidu coordinates☆16Jun 10, 2026Updated last month
- Window 下android自动签名工具☆18Aug 7, 2014Updated 11 years ago
- ☆25Jul 16, 2017Updated 9 years ago
- ☆19Oct 13, 2015Updated 10 years ago
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago
- Easy search and replace missing scripts GUIDs in your Unity3D project!☆14May 17, 2020Updated 6 years ago
- 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.
- ☆14May 29, 2019Updated 7 years ago
- A curated list of awesome Synthetic Aperture Radar (SAR) software, libraries, and resources.☆18Aug 7, 2022Updated 3 years ago
- This project uses a bluetooth-enabled pulse oximeter, an ESP32 microcontroller board, and a Linux server to capture a longer trace of the…☆22Feb 2, 2021Updated 5 years ago
- An audio visualizer.☆14Aug 16, 2015Updated 10 years ago
- A Unity Demo of Flocks and Crowds☆16Feb 18, 2016Updated 10 years ago
- compile lua fucntion to computer code just in time.☆12Jul 10, 2020Updated 6 years ago
- ios app signature server,Using the Apple Undisclosed Web Interface Signing Application.☆10Apr 21, 2019Updated 7 years ago