#QuintLang
LightNews LightNews
adolfont.github.io
Quint Launch Party
#QuintLang
bit.ly/4cb52nb
Quint Launch Party · Zoom · Luma
Building reliable systems is hard. Quint is here to make it possible. Join us for the official launch of Quint, a modern, executable specification language…
bit.ly
March 31, 2025 at 5:02 PM
adolfont.github.io
Quint tem comunidade no Telegram

#QuintLang
SBLP
#CBSOFT
quint-lang.org/community
Community – Quint
A modern and exectuable specification language
quint-lang.org
October 1, 2024 at 2:44 PM
adolfont.github.io
Case Study: Formalizing Grug’s Jellyfish Merkle Tree with Quint
#QuintLang
informal.systems/blog/jellyfi...
The Informal Blog - Case Study: Formalizing Grug’s Jellyfish Merkle Tree with Quint
In Q4 2024, Informal Systems partnered with Left Curve to formally specify their Rust implementation of the Jellyfish Merkle Tree (JMT) using Quint, our in-house specification language. The JMT is a c...
informal.systems
March 7, 2025 at 12:46 PM
adolfont.github.io
Quint: A modern and executable specification language
Gabriela Moreira
#QuintLang
www.youtube.com/watch?v=Qnmr...
open.spotify.com/episode/37kF...
Quint: A modern and executable specification language
YouTube video by MACROCOSM
www.youtube.com
March 8, 2025 at 6:17 PM
adolfont.github.io
We are going to have a talk about #QuintLang at Esquenta SE4FP se4fp.github.io/2025/
SE4FP 2025 | 1st Workshop on Software Engineering for Functional Programming
SE4FP aims to bring together academics and industry professionals to share and discuss experiences, best practices, tools, and research on applying software engineering principles to systems developed...
se4fp.github.io
June 12, 2025 at 12:55 PM
ben.gesoff.uk
Just attended the #QuintLang virtual launch party where they announced their #RustRewrite! Excited to try and model the communication between our algo engine and an exchange to see if there are any unnoticed race conditions
April 8, 2025 at 3:19 PM
adolfont.github.io
Quint Launch Party - Releasing a New Rust Backend for Faster Simulations
#QuintLang
www.youtube.com/watch?v=bTM_...
Quint Launch Party - Releasing a New Rust Backend for Faster Simulations
YouTube video by Informal Systems
www.youtube.com
September 11, 2025 at 3:12 PM