Composable static typing, proofs and formal verification for Julia
Playground for formal specifications of interfaces in Julia – GitHub – Keno/InterfaceSpecs.jl: Playground for formal specifications of interfaces in Julia…
Read more »Pluto: Simple reactive notebooks for Julia
🎈 Simple reactive notebooks for Julia. Contribute to fonsp/Pluto.jl development by creating an account on GitHub.
Read more »The state of Julia (Juliacon 2023) [video]
For more info on the Julia Programming Language, follow us on Twitter: https://twitter.com/JuliaLanguage and consider sponsoring us on GitHub: https://github…
Read more »Symbolicregression.jl – High-Performance Symbolic Regression in Julia and Python
Distributed High-Performance Symbolic Regression in Julia – GitHub – MilesCranmer/SymbolicRegression.jl: Distributed High-Performance Symbolic Regression in Julia…
Read more »JDF.jl – Julia DataFrames serialization format
Julia DataFrames serialization format. Contribute to xiaodaigh/JDF.jl development by creating an account on GitHub.
Read more »Webviews.jl – Julia implementation of a tiny cross-platform webview library
🌐 Julia implementation of webview, a tiny library for creating web-based desktop GUIs. – GitHub – sunoru/Webviews.jl: 🌐 Julia implementation of webview, a tiny library for creating web-based deskto…
Read more »Julia 1.10 will have multithreaded garbage collection
Summary This PR parallelizes the GC mark-loop by introducing GC threads into the Julia runtime and by implementing work-stealing to dynamically balance the amount of work each thread performs in th…
Read more »Potential of the Julia programming language for high energy physics computing
Research in high energy physics (HEP) requires huge amounts of computing and storage, putting strong constraints on the code speed and resource usage. To meet these requirements, a compiled high-performance language is typically used; while for physicists…
Read more »Potential of the Julia programming language for high energy physics computing
Research in high energy physics (HEP) requires huge amounts of computing and storage, putting strong constraints on the code speed and resource usage. To meet these requirements, a compiled high-performance language is typically used; while for physicists…
Read more »Potential of Julia for high energy physics computing
Research in high energy physics (HEP) requires huge amounts of computing and storage, putting strong constraints on the code speed and resource usage. To meet these requirements, a compiled high-performance language is typically used; while for physicists…
Read more »