jakobjpeters / PAndQ.jl
A computer algebra system for propositional logic
☆16Updated 3 weeks ago
Related projects: ⓘ
- Computational logic in Julia!☆14Updated last month
- Aggregating all the docs☆59Updated 10 months ago
- A simple but generic implementation of Expectation Maximization algorithms to fit mixture models.☆33Updated 8 months ago
- Playground for formal specifications of interfaces in Julia☆57Updated 11 months ago
- Julia code lowering with precise provenance☆57Updated last week
- Terminal UI for [compat] section of Julia Project.toml files.☆69Updated last year
- Visualization for Flux.Chain neural networks☆64Updated 10 months ago
- Pure Julia implementation of pika parser.☆52Updated 11 months ago
- Developer tooling for Julia namespace management: detecting implicit imports, improper explicit imports, and improper qualified accesses☆77Updated last month
- ☆44Updated last month
- Integrating diagramming and data visualization☆42Updated last week
- graph plotting and drawing networks with Julia, using Luxor graphics☆69Updated last month
- Read and write XML in pure Julia☆79Updated 2 weeks ago
- mlabbe/nativefiledialog julia wrapper☆30Updated 2 years ago
- Send cross-platform desktop notifications from Julia☆58Updated 2 years ago
- ☆87Updated 3 weeks ago
- Automate user-specific system images for Julia☆90Updated last year
- ☆101Updated this week
- Easily benchmark a Julia package over its commit history☆93Updated 3 months ago
- Simple cross platform Julia installer☆59Updated 7 months ago
- A Julia package for creating publication-ready summary tables in HTML, docx, LaTeX and Typst☆58Updated this week
- Bundle your Julia application☆54Updated last month
- Template for Julia Programming Language packages using the copier engine.☆41Updated this week
- Ternary plots with Makie.jl☆24Updated 3 months ago
- nextgen MLStyle: Generic Algebraic Data Type + Pattern Match☆57Updated 2 weeks ago
- Julia package for opening a file with the default application determined by the OS.☆44Updated last year
- A code formatter for Julia with rules set in stone.☆92Updated last week
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆28Updated 3 weeks ago
- A Julia RNG with stable streams☆57Updated 4 months ago
- An implementation of sum types in Julia☆103Updated last week