Quint-connect for Typescript
☆13Aug 26, 2026Updated last month
Alternatives and similar repositories for quint-connect-ts
Users that are interested in quint-connect-ts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fork of GMAMEUI, the front-end for MAME under Linux, extending the now-defunct GXMame front-end☆12Mar 28, 2017Updated 9 years ago
- A web-based UI and dashboard for Floci, the open-source local AWS emulator. Built with Django to easily visualize, monitor, and interact …☆22Updated this week
- Self-hosted error tracking. A drop-in for Sentry and AppSignal SDKs: one Go binary and Postgres, with Slack, Linear, email and an MCP ser…☆18Updated this week
- Agents and tools for using Quint with LLMs☆109Jul 1, 2026Updated 3 months ago
- Infrastructure for Autonomous Business☆13Nov 6, 2025Updated 11 months 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.
- Shrinking induction-recursion... sometimes you just wanna be small!☆16May 7, 2026Updated 5 months ago
- A ClojureScript wrapper library for TensorFlow.js☆10Oct 7, 2018Updated 8 years ago
- Funny, beautiful and simple dictation for Omarchy☆18Oct 10, 2026Updated last week
- TypeScript SDK for a running Grok Bot host: typed gateway client plus sand-data disk readers☆22Aug 19, 2026Updated 2 months ago
- An open protocol for distributed multi-agent autoformalization.☆117Updated this week
- A toolkit for using rust with clojurescript☆12Dec 23, 2018Updated 7 years ago
- N2O: Application Server☆14Nov 22, 2022Updated 3 years ago
- CLI tool to help support event sourcing applications☆12Jul 13, 2021Updated 5 years ago
- Storybook for Agents☆22Jul 18, 2026Updated 3 months 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.
- The beautiful & flexible Foldkit docs framework.☆24Sep 21, 2026Updated last month
- A model-based testing framework for Quint + Rust☆99May 25, 2026Updated 4 months ago
- WebAssembly model in Redex☆16May 16, 2019Updated 7 years ago
- Technical trial used in a real senior developer interview abroad. Full solution and process breakdown available on YouTube.☆17Mar 12, 2026Updated 7 months ago
- a blank project for Clojure on Google App Engine☆13Jul 2, 2010Updated 16 years ago
- A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.☆11Oct 8, 2026Updated 2 weeks ago
- A specialised computer algebra system for topos theory.☆19Jun 23, 2024Updated 2 years ago
- run rack apps inside plack☆12Dec 27, 2012Updated 13 years ago
- Calculus of Constructions☆18Jul 17, 2019Updated 7 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.
- Linux/X11 tool for intercepting mouse events and executing commands. Written in Kotlin Native.☆13Sep 6, 2021Updated 5 years ago
- An http/connect/stack layer to serve the contents of a 'git' repository over HTTP.☆16Apr 29, 2011Updated 15 years ago
- Lean 4 framework for reasoning about Triton-style kernels.☆29Oct 14, 2026Updated last week
- Write oxlint custom lint rules with Effect v4☆46Oct 3, 2026Updated 2 weeks ago
- Anta is Antithesis design system☆18Oct 17, 2026Updated last week
- Foldkit Plus: packages for Foldkit apps. Server data (Remote), local-first sync, routing (Site), SSR, forms, CRUD, a CMS, rich text, a pa…☆23Updated this week
- Opensanca's guide for interviews in great companies☆12Oct 1, 2019Updated 7 years ago
- A implementation of Winston-like logger.☆14Sep 27, 2018Updated 8 years ago
- Dynamic Software Demo: runtime plugin sessions on Cloudflare Workers☆14Apr 27, 2026Updated 5 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Quint definition of Dungeons and Dragons 5e core rules☆32Updated this week
- Repo Trabalho de Conclusão de Curso II☆22Sep 1, 2026Updated last month
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 4 years ago
- 🪗 Dynamic concurrency limits for controlling backpressure, inspired by TCP congestion control☆16May 4, 2026Updated 5 months ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- A NullSafe and DTO validation for Javax Validation in service layer using Aspect.☆13Apr 20, 2018Updated 8 years ago
- ☆17Jun 30, 2015Updated 11 years ago