Modelling Julia in Lean
☆25Oct 29, 2026Updated last week
Alternatives and similar repositories for julia-in-lean
Users that are interested in julia-in-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Documenter.jl plugin for more flavorful code blocks☆31Sep 28, 2026Updated last month
- ☆19Updated this week
- Run testitems in parallel.☆47Sep 14, 2026Updated last month
- A repository for human-readable reports generated by the Nanosoldier.jl CI system.☆13Updated this week
- Portable Julia running in VSCode☆10Oct 17, 2026Updated 2 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Persistent parked worker pool for low-overhead parallel loops in Julia☆20Updated this week
- Interactive terminal UI to diagnose Julia code: runtime and allocation profiling, inference time, invalidations, and Cthulhu-style type-i…☆29Aug 23, 2026Updated 2 months ago
- Pure-Julia IO primitives (io readiness polling, timers, sockets, TLS, etc.)☆28Updated this week
- A Julia implementation of Interactive Brokers API☆12Mar 29, 2026Updated 7 months ago
- Mathematica lexer for Pygments☆11Feb 3, 2014Updated 12 years ago
- Template for Julia Programming Language packages using the copier engine.☆130Sep 18, 2026Updated last month
- PacMan in the Julia REPL☆24Oct 23, 2023Updated 3 years ago
- A minimalist blog engine you run from a terminal: posts are files, the site is a static build, comments live on the Fediverse. No databas…☆18Oct 23, 2026Updated 2 weeks ago
- A collection of TTFX workloads for Julia packages, for longitudinal performance testing.☆25Oct 8, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A TensorFlow 2.0 .whl file compiled with an old processor/computer☆11Dec 12, 2020Updated 5 years ago
- ☆18Jul 8, 2025Updated last year
- spiral engraving effect☆20Aug 7, 2026Updated 2 months ago
- A borrow checker for Julia☆142Aug 23, 2026Updated 2 months ago
- Arrays that use a dynamically-scoped allocator☆26Mar 27, 2025Updated last year
- A Julia quantitative portfolio analytics (risk / performance) via online algorithms☆15Sep 7, 2026Updated last month
- Julia wrapper for the AMD Optimizing CPU Libraries☆11Aug 6, 2026Updated 2 months ago
- An RPN calculator for the Julia REPL☆11Sep 1, 2026Updated 2 months ago
- no more 🐱🐱☆21Dec 15, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Apr 27, 2026Updated 6 months ago
- Macros to define and implement interfaces, to ensure they are checked and correct.☆104Sep 8, 2025Updated last year
- ☆10May 1, 2018Updated 8 years ago
- ☆18Jun 19, 2019Updated 7 years ago
- Sources for OpenDreamKit's website☆18Feb 23, 2024Updated 2 years ago
- Keeping tabs on the julia ecosystem☆33Oct 26, 2026Updated last week
- Extensions for Julia's docsystem.☆129Updated this week
- The Macaulay2 tap for Homebrew☆10Oct 11, 2026Updated 3 weeks ago
- ☆12Aug 1, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple Julia module to perform dispatch on a value of an expression using the `@dispatch` macro.☆10Feb 6, 2024Updated 2 years ago
- ☆11Jun 4, 2026Updated 5 months ago
- Quickly and easily install a GitHub Action on all repositories in a GitHub organization☆33Dec 11, 2023Updated 2 years ago
- Theorems for Real Closed Fields☆15Oct 28, 2026Updated last week
- ☆11Jun 3, 2026Updated 5 months ago
- Deadly simple and effective fixtures preparing for testing for Go☆11Sep 17, 2026Updated last month
- A python library for the fast sdp solver CSDP.☆12Jan 12, 2015Updated 11 years ago