quint-co / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

squint-cljs / squint

Light-weight ClojureScript dialect

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

leonelquinteros / gotext

Go (Golang) GNU gettext utilities package

GaelQuinta / minecraft-metal-shaders

Native Metal shaders for Minecraft Java on Apple Silicon Macs: shadows, volumetric clouds, god rays, reflective water, HDR. A fork of mcopt.

LAPI-UNAM / quinta_escuela_de_computo_cuantico

En este repositorio se colocará el material utilizado durante la Quinta Escuela de Cómputo Cuántico.

rafaelquintanilha / skills

Independent Agent Skills by Rafael Quintanilha.

borkdude / buzz

Cross client-server "framework"