The Spicy Project
☆14May 31, 2016Updated 10 years ago
Alternatives and similar repositories for spicy
Users that are interested in spicy 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 rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 4 years ago
- ☆13Jun 18, 2026Updated 4 months ago
- ☆11Aug 13, 2026Updated 2 months ago
- Automated Programming Framework☆16May 11, 2020Updated 6 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 4 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.
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 4 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 3 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- QR code 2005 encoder in Emacs Lisp☆10Feb 7, 2016Updated 10 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- The Processing application for the Balanduino balancing robot☆13Mar 28, 2014Updated 12 years ago
- Jeffrey Kegler personal web page☆13Jul 6, 2023Updated 3 years ago
- Multiple Backends for Emacs URL package☆13Aug 8, 2026Updated 2 months ago
- 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.
- Convergent and Commutative Replicated Data Types for Scala☆15Feb 9, 2014Updated 12 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Pathfinding for Unity using A*☆12Jan 14, 2026Updated 9 months ago
- Example programs to connect to iLidar and demonstrate our sensor API☆11Jun 24, 2020Updated 6 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 4 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 8 months ago
- Simple achievement system based on 2 scriptable objects(property and achievement)☆14Jan 27, 2019Updated 7 years ago
- UNMAINTAINED. Created and edited compressed archives using TrueZIP☆11Apr 3, 2026Updated 6 months ago
- Port of https://github.com/redux-saga/redux-saga to C# for Unity3d coroutines☆11May 29, 2017Updated 9 years ago
- 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.
- Generate triangle meshes in the shape of trees, composed out of simple tetrahedron shapes.☆11May 14, 2017Updated 9 years ago
- [Emacs] synchronize the recent files list between multiple running emacs instances☆16Mar 26, 2016Updated 10 years ago
- Scala staging framework☆18Jul 13, 2018Updated 8 years ago
- Термостат + охранно-пожарная сигнализация☆15Mar 24, 2024Updated 2 years ago
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- A port of Bryan O'Sullivan's attoparsec from Haskell to Scala☆15Dec 21, 2010Updated 15 years ago
- Allows for the use of C# code files as dynamic scripts compiled at runtime in Unity.☆11Jan 29, 2015Updated 11 years ago
- lightweight ai behaviour trees framework for Unity 3D☆11Oct 13, 2017Updated 9 years ago
- Experimental architectural approach for gamedev☆10Jul 2, 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.
- Parser to create unit cards for killteam/40k/horus heresy/AoS☆12Feb 2, 2026Updated 8 months ago
- Fulib is a library that provides code generation for UML like models and some model management functionalities.☆16Mar 23, 2026Updated 6 months ago
- OpenSource deployment made easy☆10Jun 13, 2015Updated 11 years ago
- Editor tools to help user get the resources depend on and be depended on of the user's selection.☆10Dec 27, 2016Updated 9 years ago
- UbiGraph Server is a system for visualizing dynamic graphs☆12May 10, 2018Updated 8 years ago
- SQL-like frontend for CouchDB☆15Apr 12, 2012Updated 14 years ago
- The Docker Swarm 2000 Collaborative Project☆13Aug 2, 2016Updated 10 years ago