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
- graph plotting and drawing networks with Julia, using Luxor graphics☆72Updated last month
- Playground for formal specifications of interfaces in Julia☆60Updated 2 years ago
- A Julia interface for training and applying models in machine learning and statistics☆47Updated last week
- Collective tools for metaprogramming on Julia Expr☆92Updated last month
- If it quacks like a duck... dispatch on it!☆29Updated 2 months ago
- Fixed-size multidimensional arrays. An Array-like type with less indirection at the cost of resizing capability.☆95Updated 2 weeks ago
- Compile away dynamic dispatch on Val-typed arguments via value-splitting.☆59Updated 2 years ago
- pure Julia package for optimal histogram binning, based on piecewise constant model.☆43Updated 3 years ago
- Replay your REPL instructions☆40Updated 2 years ago
- Run testitems in parallel.☆38Updated 3 weeks ago
- "whenever I type this in the REPL, run that for me"☆86Updated last week
- Julia package for working with Google Sheets☆31Updated 2 years ago
- I will look for you. I will find you. And I will print you. (If you're a Unicode glyph...)☆62Updated 3 weeks ago
- Ternary plots with Makie.jl☆29Updated last year
- Build types in Julia where some fields have computed types☆62Updated 2 years ago
- A Julia RNG with stable streams☆75Updated last month
- ☆42Updated 3 years ago
- A Julia implementation of choice sequence based PBT, inspired by Hypothesis☆85Updated 3 months ago
- Makes Julia's package extensions backwards compatible☆51Updated 11 months ago
- nextgen MLStyle: Generic Algebraic Data Type + Pattern Match☆101Updated 7 months ago
- A small package for creating bitfield-like structs.☆13Updated 4 months ago
- A small package for providing the minimal required method surface of a Julia API☆46Updated last week
- A Julia REPL mode for SQL☆67Updated 3 years ago
- A Julia package providing variable-length vector, set and dictionary types that don't allocate☆63Updated 3 weeks ago
- Visualization GUI for (julia-related) data files☆33Updated 2 years ago
- Simple tools for drawing raster images, points, lines and polygons in Makie.jl.☆40Updated 7 months ago
- Cunning tricks though the julia compiler internals☆87Updated 3 months ago
- OpenAPI helper and code generator for Julia☆56Updated 2 weeks ago
- Easy-to-use sum types in Julia☆63Updated last week