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 30 5 Updated Apr 10, 2026

Dependently typed Clojure DSL with a Lean4 compatible kernel.

Clojure 67 3 Updated Aug 4, 2026

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

Clojure 229 3 Updated Apr 4, 2026

Extensible Value Encoding

Clojure 63 2 Updated Jul 8, 2026

Constraint Programming for Clojure

Clojure 10 Updated Jun 25, 2026

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

Clojure 34 Updated Aug 5, 2026

A Datomic-like database library on top of Sqlite

Clojure 49 2 Updated Jul 27, 2026

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

Java 1,043 82 Updated Apr 18, 2026
C 4 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 33 8 Updated Aug 4, 2026

Make your JSON data collaborative and version-controlled with CRDTs

Rust 6,008 163 Updated Aug 1, 2026

Unorthodox control flow, for Clojurists with masochistic sensibilities.

Clojure 213 8 Updated Jul 17, 2026

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

Clojure 111 3 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 704 61 Updated Jul 30, 2026

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

Clojure 3,038 191 Updated Aug 5, 2026

A graphical, interactive tool for browsing Clojure data

JavaScript 406 6 Updated Dec 12, 2025

Fluree database library

Rust 442 37 Updated Aug 5, 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,879 92 Updated Aug 3, 2026

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

Java 274 73 Updated Jul 31, 2026

A massively parallel, optimal functional runtime in Rust

Cuda 11,335 439 Updated Nov 21, 2024

better database fixtures for Clojure tests! 🥔

Clojure 136 2 Updated Jul 25, 2026

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