lucaferranti
maths, coding, codings maths, automated reasoning and all sort of cool nerdy stuff
University of VaasaTampere, Finland
Pinned Repositories
chapel
Exercism exercises in Chapel.
IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
IntervalLinearAlgebra.jl
Linear algebra done rigorously
awesome-xiangqi
An awesome list of xiangqi related resources
ForwardModeAD
forward mode automatic differentiation using dual numbers
FuzzyLogic.jl
Julia package for fuzzy inference
GeometricTheoremProver.jl
A Julia library for automated deduction in Euclidean geometry.
ILAjuliacon2021
Slides for my talk "IntervalAlgebra.jl: linear algebra done rigorously" at JuliaCon 2021
lucaferranti.github.io
my personal webpage
PlutoGrader.jl
automatically grade pluto notebooks
lucaferranti's Repositories
lucaferranti/FuzzyLogic.jl
Julia package for fuzzy inference
lucaferranti/PlutoGrader.jl
automatically grade pluto notebooks
lucaferranti/GeometricTheoremProver.jl
A Julia library for automated deduction in Euclidean geometry.
lucaferranti/awesome-xiangqi
An awesome list of xiangqi related resources
lucaferranti/lucaferranti.github.io
my personal webpage
lucaferranti/ForwardModeAD
forward mode automatic differentiation using dual numbers
lucaferranti/fuzzieee2023
Numerical experiments for my paper published in FUZZ-IEEE 2023
lucaferranti/JuliaDebuggingWorkshop
material for the "Debugging with Julia" workshop
lucaferranti/talks
repository containing slides for my talks
lucaferranti/2022-08-29-sanger-online
http://lucaferranti.com/2022-08-29-sanger-online
lucaferranti/BenchmarkTools.jl
A benchmarking framework for the Julia language
lucaferranti/buffy
Editorial bots generator
lucaferranti/chapel
a Productive Parallel Programming Language
lucaferranti/Chimera
experimental library for interval methods in chapel
lucaferranti/compile-action-test
Test repository to test github action to compile jcon paper
lucaferranti/fuzzy-systems
lucaferranti/GoodScientificCodeWorkshop
A workshop on writing good scientific code.
lucaferranti/highlightjs-chapel
highlight.js support for Chapel
lucaferranti/IntervalArithmeticTests
a collection of tests for interval arithmetic in JSON format
lucaferranti/joss
The Journal of Open Source Software
lucaferranti/mason-registry
Package registry for mason, Chapel's package manager
lucaferranti/mathday2024
Website for the MathDay 2024 held in Vaasa
lucaferranti/MyCoolLibrary
example chapel library
lucaferranti/NNtraining
Dashboard to manage the training of a neural network
lucaferranti/planets
demo repository for swc workshop
lucaferranti/PlutoTeachingTools.jl
Functions useful when using Pluto in teaching.
lucaferranti/PlutoUI.jl
lucaferranti/TestingSubmission
Testing new proceedings app
lucaferranti/www
🌎 Enzyme project home page
lucaferranti/www.julialang.org
Julia Project website