Tampere, Finland

Luca Ferranti

Expert
@lucaferranti

maths, coding, codings maths, automated reasoning and all sort of cool nerdy stuff

FuzzyLogic.jl. Julia package for fuzzy inference

39

GeometricTheoremProver.jl. A Julia library for automated deduction in Euclidean geometry.

24

awesome-xiangqi. An awesome list of xiangqi related resources

24

PlutoGrader.jl. automatically grade pluto notebooks

19

DedekindCutArithmetic.jl. Exact real arithmetic using Dedekind cuts

11

ILAjuliacon2021. Slides for my talk "IntervalAlgebra.jl: linear algebra done rigorously" at JuliaCon 2021

10

ForwardModeAD. forward mode automatic differentiation using dual numbers

4

lucaferranti.github.io. my personal webpage

3

fuzzieee2023. Numerical experiments for my paper published in FUZZ-IEEE 2023

2

juliaPackageDevelopment. materials for the Nordic-RSE Seminar Series workshop "Package development in Julia"

1

JuliaDebuggingWorkshop. material for the "Debugging with Julia" workshop

1

talks. repository containing slides for my talks

1

AoC. my solutions for advent of code

1
13
Apply