Stars
Automatically update function definitions in a running Julia session
A code analyzer for Julia. No need for additional type annotations.
A benchmarking framework for the Julia language
An algebraic spin on grammar-of-graphics data visualization in Julia. Powered by the Makie.jl plotting ecosystem.
⟨Grassmann-Clifford-Hodge⟩ differential geometric algebra
Julia functional programming infrastructures and metaprogramming facilities
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…
Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.
A Julia package for Prolog-style logic programming.
Graph-related recipes to be used with Plots.jl
C# style generators a.k.a. semi-coroutines for Julia.
nextgen MLStyle: Generic Algebraic Data Type + Pattern Match
A parser combinator library for Julia
A Julia implementation of choice sequence based PBT, inspired by Hypothesis
A package for simple property based testing in julia.
Julia wrapper for the performance monitoring and benchmarking suite LIKWID.
A performant, 100% native-julia SHA1, SHA2, and SHA3 implementation
A Julia library for computing tree decompositions and chordal completions of graphs.
Fast and exact geometrical predicates in the Euclidean plane