Recife

A Clojure model checker (using the TLA+/TLC engine)

Generate Convert Improve

Install / Use

/learn @pfeodrippe/Recife

About this skill

Quality Score

0/100

README

image:https://img.shields.io/clojars/v/pfeodrippe/recife.svg[link="http://clojars.org/pfeodrippe/recife",title="Clojars Project"]

= Recife

A model checker library in Clojure.

Check the docs at https://recife.pfeodrippe.com/.

== YourKit

image:https://www.yourkit.com/images/yklogo.png[link="https://www.yourkit.com/images/yklogo.png",title="YourKit"]

YourKit supports open source projects with innovative and intelligent tools for monitoring and profiling Java and .NET applications. YourKit is the creator of link:https://www.yourkit.com/java/profiler/[YourKit Java Profiler], link:https://www.yourkit.com/dotnet-profiler/[YourKit .NET Profiler], and link:https://www.yourkit.com/youmonitor/[YourKit YouMonitor].

Related Skills

node-connect

343.1k

Diagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps

frontend-design

90.0k

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.

openai-whisper-api

343.1k

Transcribe audio via OpenAI Audio Transcriptions API (Whisper).

qqbot-media

343.1k

QQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。