A realtime acoustic bird classification system for the Raspberry Pi 5, 4B 3B+ 0W2 and more. Built on the TFLite version of BirdNET.

Use PyTorch Models with CasADi for data-driven optimization or learning-based optimal control. Supports Acados.

Fast and differentiable particle accelerator optics simulation for reinforcement learning and optimisation applications.

A community-supported supercharged document management system: scan, index and archive all your documents

Symbolic programming for the next generation of numerical software

Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable i…

Fava - web interface for Beancount

Beancount Importers for DKB (Deutsche Kredit Bank) CSV Exports

🎈 Simple reactive notebooks for Julia

High-performance interior-point-method QP and QCQP solvers

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained …

Solution of Lyapunov, Sylvester and Riccati matrix equations using Julia

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…

Horizon is a free EDA package

Your One-Stop Publication Workbench

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

Relax! Flux is the ML library that doesn't make you tensor

A powerful, innovative and intuitive EDA suite for everyone!

The Julia Programming Language

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

Reproducing images with geometric primitives.

An unofficial open source Android app for Reddit.

Empowering everyone to build reliable and efficient software.