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
DedekindCutArithmetic.jl
Exact real arithmetic using Dedekind cuts
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
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/awesome-xiangqi
An awesome list of xiangqi related resources
lucaferranti/DedekindCutArithmetic.jl
Exact real arithmetic using Dedekind cuts
lucaferranti/ForwardModeAD
forward mode automatic differentiation using dual numbers
lucaferranti/lucaferranti.github.io
my personal webpage
lucaferranti/fuzzieee2023
Numerical experiments for my paper published in FUZZ-IEEE 2023
lucaferranti/JuliaReachDevDocs
JuliaReach development guidelines and resources
lucaferranti/talks
repository containing slides for my talks
lucaferranti/awesome
😎 Awesome lists about all kinds of interesting topics
lucaferranti/BenchmarkTools.jl
A benchmarking framework for the Julia language
lucaferranti/BestieTemplate.jl
Template for Julia Programming Language packages using the copier engine.
lucaferranti/buffy
Editorial bots generator
lucaferranti/chapel
a Productive Parallel Programming Language
lucaferranti/chapel-enzyme
Automatic differentiation of Chapel code with enzyme
lucaferranti/compile-action-test
Test repository to test github action to compile jcon paper
lucaferranti/elephantops
Xiangqi rules and operations in TypeScript
lucaferranti/explore
Community-curated topic and collection pages on GitHub
lucaferranti/fuzzy-systems
lucaferranti/highlightjs-chapel
highlight.js support for Chapel
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/PlutoUI.jl
lucaferranti/TestingSubmission
Testing new proceedings app
lucaferranti/www
🌎 Enzyme project home page
lucaferranti/www.julialang.org
Julia Project website
lucaferranti/xiangqiground
Mobile/Web xiangqi UI