A package for expressing and automatically proving logical statements symbolically in Julia

Simple macros to help developing packages using Pluto.jl as base

🌾 declarative crop modeling framework

Tools for manipulating Julia's lowered code

-

From Semiconductor to TransistorLevel Modeling in Julia

Scalable nonparametric clustering with unified marker gene selection for single-cell RNA-seq data

Monoid, Functor, Applicative, Monad and more

-

Simple Julia Lattice Boltzmann Solver for Thin Liquid Films and Droplets, approximating the thin film equation.

Vector Finite Difference Maxwell Modesolver

Interactive examples for different geodynamic problems

A HTTP framework

Computational logic in Julia!

ProToPortal: The Portal to the Magic of PromptingTools and Julia-first LLM Coding

AutoReload plugin for the Genie web framework

Symbolic modeling in Julia!

Implementing extensible effects in Julia

Control barrier functions (CBFs) in Julia.

Develop tools for ensemble Kalman filter

Manage unstructured and multimodal datasets!

Static site generation with Pluto, WIP

Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!

Julia library for visualization and annotation medical images, specialized particularly for rapid development segmentation of 3 dimensional images like CT or PET/CT scans. Has full support of nuclear medicine Data.

-

Working with simple feature GIS data in Julia

Julia module to fit and analyze stochastic gene transcription models

Package for the Rigorous Computation of Invariant Measures

WGPU graphics library julia

A toolkit for analyzing, generating, and constructing both continuous and discrete markov chains.

A package for obtaining the effective time-averaged Lindbladian.

Julia library for fitting and analyzing state space models. Provides efficient implementations of various SSMs including the canonical Gaussian LDS (Kalman Filter/Smoother), Poisson LDS, HMMs, etc.

Role based authorisation (RBA) plugin for Genie.jl

🧄 garlic growth simulation model

-

Julia package to easily manage Sessions using Genie.jl Framework.

Causal Inference using Gaussian Processes with Structured Latent Confounders. Estimate treatment effects with Gaussian processes.

-

-

Scientific machine learning glacier mass balance models