lucaferranti
maths, coding, codings maths, automated reasoning and all sort of cool nerdy stuff
University of VaasaTampere, Finland
lucaferranti's Stars
JuliaLang/julia
The Julia Programming Language
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
carbon-language/carbon-lang
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
chapel-lang/chapel
a Productive Parallel Programming Language
trevor-vincent/awesome-high-performance-computing
A curated list of awesome high performance computing resources
lrnv/Copulas.jl
A fully `Distributions.jl`-compliant copula package
JuliaPluto/PlutoTeachingTools.jl
Functions useful when using Pluto in teaching.
gamma-opt/DecisionProgramming.jl
DecisionProgramming.jl is a Julia package for solving multi-stage decision problems under uncertainty, modeled using influence diagrams. Internally, it relies on mathematical optimization. Decision models can be embedded within other optimization models.
ENCCS/julia-for-hpc
Lesson material for "Julia for high-performance scientific computing" workshops
JuliaIntervals/IntervalLinearAlgebra.jl
Linear algebra done rigorously
JuliaPluto/computational-thinking-template
Template to build a course webpage like the *Introduction to computational thinking with Julia* course tought at MIT
JuliaReach/RangeEnclosures.jl
Enclosures of real-valued functions in Julia
chapel-lang/mason-registry
Package registry for mason, Chapel's package manager
coderefinery/ffmpeg-editlist
Script ffmpeg video cutting
JuliaWTF/DeepFry.jl
Chaotic image processing tool
Kolaru/BranchAndPrune.jl
Branch and prune interface for Julia
matrixfunctions/GraphMatFun.jl
Computation graphs for matrix functions
JeffreySarnoff/FastRounding.jl
Faster directed rounding for inline arithmetic
JuliaReach/BernsteinExpansions.jl
Computing Bernstein coefficients of multivariate polynomials in Julia
bast/advent-of-code
My solutions to Advent of Code :evergreen_tree:
chapel-lang/highlightjs-chapel
highlight.js support for Chapel
julia-users-helsinki/julia-users-helsinki.github.io
Julia Enthusiasts in Helsinki area
fph/nearest-omega-stable
Accompanying code for "Nearest \Omega-stable matrix via Riemannian optimization", V. Noferini and F. Poloni.
chapel-lang/chapel-vscode
orkolorko/SetRoundingLLVM.jl
Rounding routines through llvm intrinsics
exercism/chapel
Exercism exercises in Chapel.
matsueushi/RoundingEmulator.jl
Emulate directed rounding in default rounding mode
exercism/chapel-test-runner
martinkjlarsson/tdoa-self-calibration
ninivert/prk-stencil-mpiomp-chapel