Quint definition of Dungeons and Dragons 5e core rules
☆31Aug 29, 2026Updated this week
Alternatives and similar repositories for 5e-quint
Users that are interested in 5e-quint are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Building API and tools for EPO OPS patent data☆10Mar 16, 2017Updated 9 years ago
- ☆12Jul 12, 2026Updated last month
- ☆17Jun 25, 2026Updated 2 months ago
- A Haskell roguelike toolkit☆12Jul 10, 2025Updated last year
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- 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.
- Calculus of Constructions☆18Jul 17, 2019Updated 7 years ago
- Compressed Bloom Filters (Golomb-compressed sequences, with indices)☆17May 19, 2013Updated 13 years ago
- ☆15May 2, 2018Updated 8 years ago
- TinyBox is a tiny HTML, CSS and JS sandbox web component, using a font with built in syntax highlighting.☆21Oct 6, 2025Updated 10 months ago
- Basic Computer Emulator - legacy☆12Jul 1, 2022Updated 4 years ago
- A Vite plugin for Melange☆13Apr 21, 2026Updated 4 months ago
- Julia AMPL Models Conforming to NLPModels.jl☆21May 31, 2026Updated 2 months ago
- Choreograph distributed protocols in Quint.☆16Jun 23, 2026Updated 2 months ago
- lightning-fast static site webserver with automatic HTTPS right out of the box!☆13Dec 18, 2024Updated last year
- 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.
- A formally-verified web frontend framework in Lean 4☆21Jun 15, 2026Updated 2 months ago
- My elisp and emacs snippets aside .spacemacs and .emacs.d☆14Sep 20, 2021Updated 4 years ago
- MCP server to dynamically connect to other MCP servers & exposes the entire MCP protocol via tool calls. Ideal for testing MCPs during de…☆21Apr 23, 2026Updated 4 months ago
- Agentic Development Framework using Spec-driven Planning and Execution with Claude Code☆19Jul 31, 2026Updated last month
- ☆21Jan 1, 2021Updated 5 years ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,645Aug 20, 2026Updated last week
- HTTP/1.1 client library for OCaml☆16Apr 28, 2020Updated 6 years ago
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years 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.
- GPotion: a DSL for GPU programming in Elixir☆20Sep 26, 2024Updated last year
- Thaynã☆14Dec 9, 2020Updated 5 years ago
- Unity tool for configurating enemy waves☆18Aug 1, 2025Updated last year
- Declarative HTTP client based on pydantic and typical.☆15Jul 23, 2023Updated 3 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆13Jun 16, 2022Updated 4 years ago
- ☆24Apr 2, 2026Updated 4 months ago
- ORBIS v2☆14May 18, 2014Updated 12 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- Dynamic Worker Pool Library☆30Aug 3, 2019Updated 7 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.
- sbt plugin for creating dependency lockfiles☆15Jul 6, 2024Updated 2 years ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆17Mar 19, 2026Updated 5 months ago
- One repo to rule them all☆16Jul 7, 2026Updated last month
- A model-based testing framework for Quint + Rust☆78May 25, 2026Updated 3 months ago
- Lock free MPSC Channel in Rust (a port of ringmpsc in Zig - see README)☆27Aug 23, 2026Updated last week
- Random dumping ground of almost-throwaway stuff☆10Jul 22, 2020Updated 6 years ago
- Cayley Dickson algebra implementation in python☆13Jan 3, 2019Updated 7 years ago