iamazadi / Porta.jlView external linksLinks
A useful tool on the road to reality. Read the documentation on the website.
☆59Dec 26, 2025Updated last month
Alternatives and similar repositories for Porta.jl
Users that are interested in Porta.jl are comparing it to the libraries listed below
Sorting:
- A package for your code to understand scoping rules(including mutability of free variables).☆18Dec 10, 2021Updated 4 years ago
- Julia package for editing and displaying binary file data in hexadecimal format☆11Mar 14, 2023Updated 2 years ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- It's interpreters all the way down.☆13May 12, 2021Updated 4 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Mar 7, 2021Updated 4 years ago
- A static method overlay and optimization tool with configurable code generation and execution.☆53May 3, 2022Updated 3 years ago
- collective tools for Julia SSA IR.☆29Nov 30, 2023Updated 2 years ago
- An experimental implementation of sum-product networks with dense unitary transformations in leaves☆13Sep 8, 2022Updated 3 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 4 years ago
- WebGL backend for Makie☆59Jun 21, 2021Updated 4 years ago
- no more 🐱🐱☆21Dec 15, 2025Updated 2 months ago
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 2 years ago
- Graphs.jl-formatted graph files taken from the SNAP Datasets collection.☆17Dec 18, 2025Updated 2 months ago
- ☆18Sep 14, 2021Updated 4 years ago
- Tangent bundle, vector space and Submanifold definition☆51Jan 12, 2026Updated last month
- ☆16Jun 18, 2021Updated 4 years ago
- Tensor algebra utility library☆19Jan 12, 2026Updated last month
- ☆32May 29, 2020Updated 5 years ago
- Prototypes for next-generation package caches in Julia☆19Sep 29, 2022Updated 3 years ago
- A package for graph optimization algorithms that rely on mathematical programming.☆20Dec 18, 2025Updated last month
- ProjectEuler.jl is a package that allows offline access to challenging mathematical problems from Project Euler through Julia's REPL. It …☆21Jun 11, 2023Updated 2 years ago
- Turing + Makie = Turkie☆73Dec 15, 2025Updated 2 months ago
- Base API optimized for tuples☆19Sep 9, 2020Updated 5 years ago
- A package for expressing and automatically proving logical statements symbolically in Julia☆19Nov 2, 2023Updated 2 years ago
- MultiscaleGraphSignalTransforms.jl is a collection of software tools written in the Julia programming language for graph signal processin…☆11Sep 13, 2025Updated 5 months ago
- A fast implementation of short strings of fixed size. Great for sorting and group-by operations☆25Sep 22, 2021Updated 4 years ago
- Methodwise Memoization for Julia☆21Jun 27, 2022Updated 3 years ago
- ☆43Mar 14, 2023Updated 2 years ago
- Julia interface to APIs for various bio-related web services☆22Feb 9, 2023Updated 3 years ago
- ☆21Jul 30, 2022Updated 3 years ago
- Static types useful for dispatch and generated functions.☆62Jan 6, 2026Updated last month
- Parallel computing with a tree of files metaphor☆91Aug 7, 2024Updated last year
- Munkres algorithm for the optimal assignment problem☆20Oct 11, 2018Updated 7 years ago
- Reproducible tests for HTTP requests☆21May 2, 2025Updated 9 months ago
- ☆23Sep 28, 2021Updated 4 years ago
- Checkpointing for Automatic Differentiation☆60Updated this week
- A set of tools for machine code analyzing of Julia code☆46Jun 6, 2024Updated last year
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- ☆23Nov 19, 2025Updated 2 months ago