prl-julia / julia-type-stability

Related projects: ⓘ

• JuliaStaging / JuliaVariables.jl
  The implementation of NameResolution.jl for Julia language.
  ☆29Updated 2 years ago
• JuliaCompilerPlugins / Purple.jl
  It's interpreters all the way down.
  ☆13Updated 3 years ago
• JuliaStaging / NameResolution.jl
  A package for your code to understand scoping rules(including mutability of free variables).
  ☆18Updated 2 years ago
• JuliaCompilerPlugins / CompilerPluginTools.jl
  collective tools for Julia SSA IR.
  ☆29Updated 9 months ago
• JeffreySarnoff / FastRationals.jl
  Arithmetic with small and with very large rationals is made fast.
  ☆22Updated last year
• JuliaString / ModuleInterfaceTools.jl
  Adds a macro (`@api`) to help manage a consistent API between multiple packages
  ☆10Updated 3 years ago
• Roger-luo / ExproniconLite.jl
  no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.
  ☆15Updated last month
• JuliaPreludes / Maybe.jl
  Optional value handling for Julia
  ☆30Updated last year
• jolin-io / IsDef.jl
  maintainable type inference
  ☆19Updated last year
• JuliaCompilerPlugins / CodeInfoTools.jl
  A utility package for working with Julia's CodeInfo internal representation.
  ☆20Updated 7 months ago
• tkf / Mutabilities.jl
  ☆24Updated 4 years ago
• JuliaGraphs / GraphsOptim.jl
  A package for graph optimization algorithms that rely on mathematical programming.
  ☆20Updated this week
• MikeInnes / Propagators.jl
  ☆11Updated 3 years ago
• timholy / BasicBlockRewriter.jl
  Code-regrouping to reduce latency in Julia code compilation
  ☆15Updated 2 years ago
• EconometricsBySimulation / AbstractLogic.jl
  An Abstract Reasoning Logic Interface
  ☆15Updated 3 years ago
• MichaelHatherly / Tectonic.jl
  Tectonic typesetting for Julia.
  ☆29Updated 5 months ago
• JuliaDocs / IOCapture.jl
  Capturing standard output and error streams in Julia.
  ☆30Updated 3 months ago
• willow-ahrens / MemoizedMethods.jl
  Methodwise Memoization for Julia
  ☆22Updated 2 years ago
• ctrekker / Deductive.jl
  A package for expressing and automatically proving logical statements symbolically in Julia
  ☆19Updated 10 months ago
• chakravala / DirectSum.jl
  Tangent bundle, vector space and Submanifold definition
  ☆50Updated 3 months ago
• JuliaFolds / InitialValues.jl
  Canonical default initial values and identity elements for Julia
  ☆25Updated 2 years ago
• RelationalAI-oss / Rematch.jl
  Pattern matching
  ☆52Updated 2 years ago
• perrutquist / StaticNumbers.jl
  Static numbers in Julia
  ☆36Updated 2 years ago
• Jollywatt / SetTheoreticTypes.jl
  Proof of concept for type system with unions, intersections and complements.
  ☆13Updated last year
• tk3369 / MonadFunctions.jl
  Monad implementation in Julia
  ☆13Updated 3 years ago
• vchuravy / KernelCompiler.jl
  Experimental compiler infrastructure for KernelAbstractions
  ☆16Updated 8 months ago
• JuliaArrays / StackViews.jl
  no more 🐱🐱
  ☆20Updated 5 months ago
• JuliaRegistries / RegistryTools.jl
  Functionality for modifying Julia package registry files
  ☆12Updated 3 months ago
• JuliaFunctional / TypeClasses.jl
  Monoid, Functor, Applicative, Monad and more
  ☆16Updated last year
• MichaelHatherly / MathJaxRenderer.jl
  Render LaTeX equations with MathJax offline.
  ☆19Updated 5 months ago