Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…

A bridge between Julia and the Web.

Julia library for compositional construction of SQL queries

Connect a REPL to a remote Julia process

A package for simple property based testing in julia.

an extensible, practical and coherent algebra of query combinators

Julia REPL plugin for vim/neovim

QuickCheck-like automated testing for Julia

Julia library for functional testing.

BQN implementation in Julia

K programming language dialect embedded in Julia

Dirichlet Process Mixture Models in Julia