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.

Content in all repositories owned by your account will be closed.
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

[Discontinued] Knowledge graph for your codebase.

Clojure 16 2 Updated Sep 15, 2026

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 77 3 Updated Sep 16, 2026

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

Clojure 230 3 Updated Apr 4, 2026

Extensible Value Encoding

Clojure 64 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 35 Updated Sep 11, 2026

A Datomic-like database library on top of Sqlite

Clojure 51 2 Updated Sep 3, 2026

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

Java 1,065 83 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 34 8 Updated Sep 22, 2026

Make your JSON data collaborative and version-controlled with CRDTs

Rust 6,164 179 Updated Sep 21, 2026

Unorthodox control flow, for Clojurists with masochistic sensibilities.

Clojure 213 8 Updated Sep 21, 2026

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

Clojure 114 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 704 61 Updated Sep 18, 2026

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

Clojure 3,069 192 Updated Sep 23, 2026

A graphical, interactive tool for browsing Clojure data

JavaScript 406 6 Updated Dec 12, 2025

Fluree database library

Rust 467 41 Updated Sep 24, 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,886 93 Updated Sep 21, 2026

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

Java 274 80 Updated Sep 21, 2026

HVM1 (2022): a massively parallel, optimal functional runtime in Rust

Cuda 11,348 437 Updated Sep 16, 2026

better database fixtures for Clojure tests! 🥔

Clojure 137 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
Next