StateX - A cross platform native application architecture
☆17Jun 19, 2016Updated 10 years ago
Alternatives and similar repositories for statex
Users that are interested in statex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- yet another Raft implementation☆15Jan 17, 2019Updated 7 years ago
- Helpers for DSL construction in Python☆13Nov 20, 2013Updated 12 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- The Filesystem Interface to Git FileSystem☆13Nov 12, 2009Updated 16 years ago
- Deductive verifier for CUDA☆16Dec 19, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- App for appending clipboard text into file using a global hotkey.☆10Dec 16, 2016Updated 9 years ago
- ☆11Jun 5, 2023Updated 3 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100May 10, 2016Updated 10 years ago
- SRFI libraries for Chez Scheme☆10Mar 21, 2010Updated 16 years ago
- REST APIs made easy☆11May 25, 2015Updated 11 years ago
- Examples of cellulose projects☆13Oct 19, 2015Updated 11 years ago
- An Elixir wrapper which communicates with the Telegram-CLI.☆14Oct 4, 2016Updated 10 years ago
- Python template preprocessor☆16Feb 8, 2014Updated 12 years ago
- Libraries for spinning up long lived process pools for representing domain objects.☆14Jan 6, 2023Updated 3 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.
- NaCl substitute of sorts in Elixir☆12Oct 2, 2026Updated last month
- An Emacs major mode for Wisp - the Lisp -> JavaScript compiler.☆13Jul 20, 2017Updated 9 years ago
- Injection of MSIL using Cecil☆12Jul 28, 2015Updated 11 years ago
- Specter paths for working with formatted EDN and Clojure code☆17Jul 31, 2017Updated 9 years ago
- Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control.☆10Oct 15, 2016Updated 10 years ago
- User library for phoenix and elixir.☆12Jul 14, 2016Updated 10 years ago
- Clone of git://git.code.sf.net/p/portecle/code☆12Feb 9, 2016Updated 10 years ago
- A Karma plugin - adapter for Node unit testing framework.☆13Aug 29, 2014Updated 12 years ago
- TDD (Test-Driven Development) physical traffic light☆10May 21, 2017Updated 9 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.
- Chatbot that answers frequently asked questions in French, English, and Tunisian using the Rasa NLU framework and RWKV-4-Raven☆13May 19, 2023Updated 3 years ago
- ☆16May 10, 2017Updated 9 years ago
- Generate and compile LaTeX documents in the cloud☆17Aug 24, 2014Updated 12 years ago
- 3000+ icons pack for Compose Multiplatform☆11Jun 11, 2024Updated 2 years ago
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆17Jul 17, 2016Updated 10 years ago
- Code reloader Plug☆19Feb 2, 2021Updated 5 years ago
- JavaScript library for creating particles animation.☆10Mar 23, 2016Updated 10 years ago
- A JDBC driver for SQLingvo☆16May 7, 2024Updated 2 years ago
- new type-safe string output formatter☆15Oct 2, 2014Updated 12 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.
- Red Black Tree in Elixir☆18Apr 16, 2023Updated 3 years ago
- JSONDiff is an Elixir implementation of the diffing element of the JSON Patch format, described in RFC 6902☆19Jan 19, 2023Updated 3 years ago
- Educational software for modelling and simulation of digital circuits.☆11Jun 8, 2020Updated 6 years ago
- A relational mapper in Clojure☆14Jun 15, 2016Updated 10 years ago
- Lua binding to net-snmp library☆12Dec 13, 2024Updated last year
- A lightweight client for the ACME protocol written in the D language.☆12Oct 5, 2025Updated last year
- A minimal rebuild of Phoenix to demonstrate various components of Phoenix, Plug, Cowboy.☆17Feb 27, 2017Updated 9 years ago