jakobjpeters / PAndQ.jlLinks
A computer algebra system for propositional logic
☆19Updated last year
Alternatives and similar repositories for PAndQ.jl
Users that are interested in PAndQ.jl are comparing it to the libraries listed below
Sorting:
- Pure Julia implementation of pika parser.☆56Updated 2 years ago
- Julia package for working with Google Sheets☆31Updated 2 years ago
- Playground for formal specifications of interfaces in Julia☆60Updated 2 years ago
- A Julia implementation of choice sequence based PBT, inspired by Hypothesis☆85Updated 3 months ago
- nextgen MLStyle: Generic Algebraic Data Type + Pattern Match☆101Updated 7 months ago
- Collective tools for metaprogramming on Julia Expr☆92Updated last month
- Compile away dynamic dispatch on Val-typed arguments via value-splitting.☆59Updated 2 years ago
- Create and control multiple Julia processes remotely for distributed computing. Ships as a Julia stdlib.☆48Updated last month
- Replay your REPL instructions☆39Updated 2 years ago
- Ternary plots with Makie.jl☆29Updated last year
- A Julia interface for training and applying models in machine learning and statistics☆47Updated last month
- Simple multiprocessing for Julia☆52Updated last week
- Cunning tricks though the julia compiler internals☆87Updated 3 months ago
- graph plotting and drawing networks with Julia, using Luxor graphics☆72Updated last month
- Send cross-platform desktop notifications from Julia☆65Updated last week
- "whenever I type this in the REPL, run that for me"☆86Updated 2 weeks ago
- If it quacks like a duck... dispatch on it!☆29Updated 2 months ago
- Terminal UI for [compat] section of Julia Project.toml files.☆71Updated 2 years ago
- traits for julia: dispatch on whatever you want using where syntax☆94Updated last year
- ☆26Updated last week
- A Julia RNG with stable streams☆75Updated last month
- ☆51Updated 2 years ago
- Run testitems in parallel.☆37Updated 2 weeks ago
- Developer tooling for Julia namespace management: detecting implicit imports, improper explicit imports, and improper qualified accesses☆117Updated 3 weeks ago
- Flexible interactive visualization for large trees in Julia using D3.js☆46Updated 2 months ago
- Fixed-size multidimensional arrays. An Array-like type with less indirection at the cost of resizing capability.☆95Updated last week
- Build types in Julia where some fields have computed types☆62Updated 2 years ago
- JuliaCon. Everywhere.☆75Updated 6 months ago
- Easy-to-use sum types in Julia☆63Updated this week
- Simple cross platform Julia installer☆56Updated 2 years ago