Lists (8)
CAD
Desktop Environment
RicingGraphics
Games, Visualizations, RendersMATP Engineering
Trillium (MATP Program) Dependencies for high performance symbolic processingNumerics
Simulation of physical processes; Neural NetworksSystem/DevOps
Continuous Integration, Deployment, NixTheorem Proving
Experiments and Tools in Theorem ProvingWeb
WebsiteStars
mimalloc is a compact general purpose allocator with excellent performance.
Create and control multiple Julia processes remotely for distributed computing. Ships as a Julia stdlib.
A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.
🏔️Optimization on Riemannian Manifolds in Julia
Uv2nix - Ingest uv workspaces using Nix [maintainer=@adisbladis]
This project is an experiment in using AI to assist in mathematical exploration, specifically focused on the **Riemann Hypothesis**. The goal is not just to prove a theorem, but to explore **how AI…
Reading and writing of video files in Julia via ffmpeg
Relax! Flux is the ML library that doesn't make you tensor
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
Bayesian inference with probabilistic programming.
Interactive data visualizations and plotting in Julia
Weighs the soul of incoming HTTP requests to stop AI crawlers
Rust bindings for the C++ api of PyTorch.
Declarative and reproducible Jupyter environments - powered by Nix
A package for marking and annotating in math blocks in Typst.
Easily and securely send things from one computer to another 🐊 📦
Typst live preview minor mode for emacs
Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages
Statistics-driven benchmarking library for Rust