Pinned Repositories
arrudeia
Test your concurrent thoughts, don't let it be a nightmare
clj-spec-view
View functions specs at your browser
dinamico
Flutter + Clojure
pitoco
recife
A Clojure model checker (using the TLA+/TLC engine)
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
ummoi
Override TLA+ Operators Anywhere
vybe
wally
A Clojure Playwright wrapper
pfeodrippe's Repositories
pfeodrippe/recife
A Clojure model checker (using the TLA+/TLC engine)
pfeodrippe/wally
A Clojure Playwright wrapper
pfeodrippe/vybe
pfeodrippe/tladeps
Simple TLA+ Dependency Manager
pfeodrippe/vybe-games
WIP
pfeodrippe/wally-tests
Wally tests with love
pfeodrippe/tla-edn-module
EDN Operators for TLA+
pfeodrippe/tla-http-client-module
A HTTP Client module for TLA+
pfeodrippe/clj-kondo
A linter for Clojure code that sparks joy.
pfeodrippe/malli
Plain data Schemas for Clojure/Script.
pfeodrippe/reitit
A fast data-driven router for Clojure/Script
pfeodrippe/sonic-pi
Code. Music. Live.
pfeodrippe/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
pfeodrippe/blockbench
Blockbench - A low poly 3D model editor
pfeodrippe/cute_headers
Collection of cross-platform one-file C/C++ libraries with no dependencies, primarily used for games
pfeodrippe/fastmath
Fast primitive based math library
pfeodrippe/flecs
A fast entity component system (ECS) for C & C++
pfeodrippe/infrastructure
Infrastructure configuration for Clojars
pfeodrippe/jnr
A Clojure wrapper around JNR-FFI
pfeodrippe/JoltPhysics
A multi core friendly rigid body physics and collision detection library. Written in C++. Suitable for games and VR applications. Used by Horizon Forbidden West.
pfeodrippe/JoltPhysicsSharp
JoltPhysics C# bindings
pfeodrippe/nvd-cache
pfeodrippe/ornament
Clojure Styled Components
pfeodrippe/raygui
A simple and easy-to-use immediate-mode gui library
pfeodrippe/raylib
A simple and easy-to-use library to enjoy videogames programming
pfeodrippe/vscode-tlaplus
TLA+ language support for Visual Studio Code
pfeodrippe/vybesc
pfeodrippe/xtdb
General-purpose bitemporal database for SQL, Datalog & graph queries. Developed by @juxt
pfeodrippe/zig-gamedev
Main monorepo for @zig-gamedev libs and example applications
pfeodrippe/Zotero2Readwise-Sync
An automated and scheduled trigger of Zotero2Readwise Python library (https://github.com/e-alizadeh/Zotero2Readwise)