aclai-lab / SoleLogics.jl

Related projects: ⓘ

• jakobjpeters / PAndQ.jl
  A computer algebra system for propositional logic
  ☆16Updated 3 weeks ago
• matthias314 / SmallCollections.jl
  A Julia package providing variable-length set and vector types that don't allocate
  ☆27Updated last week
• JuliaComputing / MultiDocumenter.jl
  Aggregating all the docs
  ☆59Updated 10 months ago
• elsoroka / Satisfiability.jl
  Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
  ☆28Updated 3 weeks ago
• JuliaAI / EarlyStopping.jl
  Early stopping criteria for loss-generating iterative algorithms
  ☆25Updated 7 months ago
• aclai-lab / Sole.jl
  Sole.jl – Long live transparent modeling!
  ☆38Updated last month
• JuliaAI / StatisticalMeasures.jl
  Measures (metrics) for statistics and machine learning
  ☆14Updated 6 months ago
• Seelengrab / RequiredInterfaces.jl
  A small package for providing the minimal required method surface of a Julia API
  ☆36Updated 2 weeks ago
• MakieOrg / MakieDraw.jl
  Simple tools for drawing raster images, points, lines and polygons in Makie.jl.
  ☆42Updated 3 weeks ago
• PeaceFounder / PeaceFounder.jl
  Centralised E2E verifiable evoting via pseudonym braiding and history trees
  ☆17Updated 2 months ago
• dmetivie / ExpectationMaximization.jl
  A simple but generic implementation of Expectation Maximization algorithms to fit mixture models.
  ☆33Updated 8 months ago
• c42f / JuliaLowering.jl
  Julia code lowering with precise provenance
  ☆57Updated last week
• SciML / FunctionWrappersWrappers.jl
  ☆10Updated last month
• Seelengrab / FieldFlags.jl
  A small package for creating bitfield-like structs.
  ☆11Updated this week
• MasonProtter / MutableNamedTuples.jl
  Basically what it says on the tin
  ☆13Updated 9 months ago
• JuliaEcosystem / PackageAnalyzer.jl
  ☆59Updated last month
• JuliaDocs / DocumenterInterLinks.jl
  A plugin for Documenter.jl that enables linking between projects
  ☆23Updated 3 months ago
• scheidan / PDFmerger.jl
  A simple Julia library to merge PDF files
  ☆17Updated 4 months ago
• chipkent / GoogleSheets.jl
  Julia package for working with Google Sheets
  ☆27Updated last year
• aclai-lab / SoleModels.jl
  Symbolic modeling in Julia!
  ☆12Updated 2 weeks ago
• abelsiqueira / BestieTemplate.jl
  Template for Julia Programming Language packages using the copier engine.
  ☆41Updated this week
• svilupp / AIHelpMe.jl
  Harnessing Julia's Rich Documentation for Tailored AI-Assisted Coding Guidance
  ☆36Updated last month
• JuliaTesting / ReTestItems.jl
  Run testitems in parallel.
  ☆28Updated last week
• JuliaGraphs / GraphsBase.jl
  Basic interface and structures for the JuliaGraphs ecosystem
  ☆12Updated 4 months ago
• JuliaDynamics / LightSumTypes.jl
  Easy-to-use sum types in Julia
  ☆35Updated this week
• LCSB-BioCore / PikaParser.jl
  Pure Julia implementation of pika parser.
  ☆52Updated 11 months ago
• pfitzseb / ProfileCanvas.jl
  ☆87Updated 3 weeks ago
• cjdoris / PackageExtensionCompat.jl
  Makes Julia's package extensions backwards compatible
  ☆50Updated 11 months ago
• curtd / ForwardMethods.jl
  Composition made easy(ish)
  ☆14Updated 2 weeks ago
• chelseas / GlowupVibes.jl
  ☆19Updated 10 months ago