Reflective actor-based language
☆28Jan 2, 2017Updated 9 years ago
Alternatives and similar repositories for Rosette
Users that are interested in Rosette are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Actor-based framework for Lua☆37May 9, 2016Updated 10 years ago
- Weave networking and consul service discovery for docker clusters☆13Mar 2, 2015Updated 11 years ago
- N-Node Clustered CoreOS - Plus Weave - Running on either VirtualBox, AWS, VMWare Fusion/VMWare Workstation, Google Compute Engine, Digita…☆16Apr 22, 2015Updated 11 years ago
- RabbitMQ "Script Exchange" plugin -- MOVED TO: https://git.leastfixedpoint.com/tonyg/script-exchange☆40Sep 5, 2010Updated 15 years ago
- Lisp interpreter with fexprs and delimited control written in JavaScript☆26Aug 29, 2011Updated 14 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.
- Book for liftweb: http://www.apress.com/book/view/1430224215☆164Oct 13, 2020Updated 5 years ago
- scala fork join, concurrency utils, parallel collections☆24Aug 4, 2009Updated 17 years ago
- The goal of Trixx is to build an administration and monitoring tool for RabbitMQ.☆41Feb 4, 2011Updated 15 years ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Oct 12, 2022Updated 3 years ago
- Hash Array Mapped Tries for Racket☆21Jan 30, 2017Updated 9 years ago
- Scala API for servlets in general and Jetty in particular☆15Aug 11, 2010Updated 16 years ago
- CL-FFF: Fractal's Fine Framework☆13Apr 30, 2016Updated 10 years ago
- Formalization of Tendermint proposer election properties☆14Jan 13, 2019Updated 7 years ago
- A AMQP firewall which allows to restrict user access to RabbitMQ using ACLs.☆24Dec 21, 2009Updated 16 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.
- AMQP client for nodejs☆51Feb 7, 2011Updated 15 years ago
- An XML-validation-based trace validator☆93Jun 25, 2010Updated 16 years ago
- David McClain's 'Actors' package for LispWorks☆13Dec 12, 2017Updated 8 years ago
- ☆19Sep 3, 2019Updated 6 years ago
- A store-and-forward HTTP gateway plugin for RabbitMQ.☆26Aug 16, 2011Updated 14 years ago
- A compiler for a Lisp dialect☆23Feb 13, 2026Updated 6 months ago
- An experimental RabbitMQ "Presence" exchange: notifies bound queues when other bindings appear and disappear -- MOVED TO: https://git.lea…☆32Feb 22, 2019Updated 7 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 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.
- JavaScript implementation of Radul and Sussman's Propagator model☆15Jan 8, 2014Updated 12 years ago
- Implementation of the AMQ Protocol in Perl☆30Apr 15, 2021Updated 5 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Oct 2, 2022Updated 3 years ago
- A File-Based Fully Automatic Lisp Datastructure Serializer / Persistency Manager, Similar to "Pickle" for Python☆16Mar 13, 2021Updated 5 years ago
- A Python microframework for building blockchain applications with Tendermint☆22May 25, 2018Updated 8 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- Compiler for MFM programming language☆27Jun 29, 2025Updated last year
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Dec 4, 2019Updated 6 years ago
- OCaml bytecode files pretty-printer☆15Oct 4, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Cloud Native VM☆18Dec 2, 2015Updated 10 years ago
- The bloom filter library from Cassandra, isolated out into its own small, self-contained chunk☆17May 18, 2017Updated 9 years ago
- An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.☆10Jul 23, 2018Updated 8 years ago
- specs is a BDD library for the Scala language☆15Oct 13, 2020Updated 5 years ago
- JSON Schema validation☆18Jun 28, 2024Updated 2 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Aug 7, 2026Updated last week
- ☆21May 12, 2012Updated 14 years ago