Skip to content
View favila's full-sized avatar

Block or report favila

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A Clojure library that wraps Datomic API functions to add type extensions.

Clojure 28 5 Updated Apr 10, 2026

Dependently typed Clojure DSL with a Lean4 compatible kernel.

Clojure 37 1 Updated Jun 14, 2026

+>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros

Clojure 229 3 Updated Apr 4, 2026

Extensible Value Encoding

Clojure 63 2 Updated Mar 25, 2026

Constraint Programming for Clojure

Clojure 10 Updated May 2, 2026

A Clojure library for composable async tasks with automatic parallelization, structured concurrency, and parent-child and chain cancellation

Clojure 32 Updated Jun 11, 2026

A Datomic-like database library on top of Sqlite

Clojure 46 1 Updated May 11, 2026

A graphical tool that can extract and replace files from encrypted and non-encrypted iOS backups

Java 1,018 80 Updated Apr 18, 2026
C 3 1 Updated Jul 30, 2024

Core.async utilities package.

Clojure 79 2 Updated May 11, 2021
Clojure 26 Updated May 5, 2015

Compact 26-char URL-safe representation of UUIDs

Clojure 153 5 Updated Nov 27, 2024
Clojure 3 1 Updated Dec 21, 2024

Java wrapper and Jdbc driver for SQLite using JNA or Bridj or JNR or JNI or JavaCPP or FFM.

Java 31 8 Updated Jun 3, 2026

Make your JSON data collaborative and version-controlled with CRDTs

Rust 5,726 152 Updated Jun 15, 2026

Unorthodox control flow, for Clojurists with masochistic sensibilities.

Clojure 212 8 Updated Mar 17, 2026

Explore and improve architecture of software, visualize structure and dependencies of codebases, calculate code metrics

Clojure 110 4 Updated Feb 15, 2026

GraphQL client library for Clojure and ClojureScript

Clojure 188 15 Updated Dec 22, 2023

Validate GraphQL schema definitions against a set of rules

JavaScript 706 61 Updated Jun 11, 2026

An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt

Clojure 3,005 191 Updated Jun 15, 2026

A graphical, interactive tool for browsing Clojure data

JavaScript 403 5 Updated Dec 12, 2025

Fluree database library

Rust 391 29 Updated Jun 15, 2026

A library to rewrite Datomic history. On-prem only.

Clojure 6 Updated Mar 26, 2024

A query engine for any combination of data sources. Query your files and APIs as if they were databases!

Rust 2,860 88 Updated Jun 15, 2026

The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.

Java 273 73 Updated Jun 8, 2026

A massively parallel, optimal functional runtime in Rust

Cuda 11,280 434 Updated Nov 21, 2024

better database fixtures for Clojure tests! 🥔

Clojure 136 2 Updated Jul 27, 2025

Immutable key/value store with efficient space utilization and fast reads. They are ideal for the use-case of tables built by batch processes and shipped to multiple servers.

Java 101 19 Updated Jul 11, 2023

View the sizes of your dependencies.

Clojure 53 2 Updated Oct 10, 2022
Next