The Lux Programming Language

Julia interface to Z3

The Z3 Theorem Prover

LuLu is the free macOS firewall

The materials for the ModelingToolkit workshop at JuliaCon 2024. Hierarchical Component-Based Modeling with ModelingToolkit.jl

A Julia package for Deep Backwards Stochastic Differential Equation (Deep BSDE) and Feynman-Kac methods to solve high-dimensional PDEs without the curse of dimensionality

Neovim client for Julia

Commentary and code examples for SICP

GNU Emacs / N Λ N O Theme

Fast operator-overloading Jacobian & Hessian sparsity detection.

Build smaller, faster, and more secure desktop applications with a web frontend.

Developer tooling for Julia namespace management: detecting implicit imports, improper explicit imports, and improper qualified accesses

Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io

A novel data lake based on super-structured data

CurlHTTP is a wrapper around LibCURL that provides a more Julia like interface to doing HTTP via Curl.

OpenAPI helper and code generator for Julia

Boosted trees in Julia

ScummVM main repository

ALGAMES: Game Theoretic Solver for Trajectory Optimization

CircuitPython - a Python implementation for teaching coding with microcontrollers

L-systems sequencer and bandpass filtered sawtooth engine for monome norns

Runtime and utilities for the Voxel programming language and VxC virtual machine.

Template for Julia Programming Language packages using the copier engine.