pfeodrippe

recife

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

wally

A Clojure Playwright wrapper

vybe

tla-edn

A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN

tladeps

Simple TLA+ Dependency Manager

wally-tests

Wally tests with love

tla-edn-module

EDN Operators for TLA+

tla-http-client-module

A HTTP Client module for TLA+

clerk

⚡️ Moldable Live Programming for Clojure

clj-kondo

A linter for Clojure code that sparks joy.

dev-tooling

guima

learntla-v2

overtone

Collaborative Programmable Music

portal

A clojure tool to navigate through your data.

reitit

A fast data-driven router for Clojure/Script

sonic-pi

Code. Music. Live.

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

blockbench

Blockbench - A low poly 3D model editor

fastmath

Fast primitive based math library

flecs

A fast entity component system (ECS) for C & C++

jnr

A Clojure wrapper around JNR-FFI

nvd-cache

ornament

Clojure Styled Components

raylib

A simple and easy-to-use library to enjoy videogames programming

vscode-tlaplus

TLA+ language support for Visual Studio Code

vybe-example

vybe-games

WIP

xtdb

General-purpose bitemporal database for SQL, Datalog & graph queries. Developed by @juxt

Zotero2Readwise-Sync

An automated and scheduled trigger of Zotero2Readwise Python library (https://github.com/e-alizadeh/Zotero2Readwise)