Luca Ferranti
lucaferranti
maths, coding, codings maths, automated reasoning and all sort of cool nerdy stuff
Languages
Top Repositories
Julia package for fuzzy inference
A Julia library for automated deduction in Euclidean geometry.
automatically grade pluto notebooks
An awesome list of xiangqi related resources
Exact real arithmetic using Dedekind cuts
forward mode automatic differentiation using dual numbers
Repositories
77An awesome list of xiangqi related resources
Julia package for fuzzy inference
Python package for browsing video and audio time-synchronized to MEG/EEG data
Python tools for analyzing video-MEG recordings
Exact real arithmetic using Dedekind cuts
No description provided.
Aalto scientific computing guide: former Triton user guide + more info
Repository for content from the Chapel www website
A Julia library for automated deduction in Euclidean geometry.
Slides for the tutorial "Fuzzy logic in Julia" for FUZZ-IEEE 2025 conference
forward mode automatic differentiation using dual numbers
example for demoing the juliacon proceedings process
automatically grade pluto notebooks
No description provided.
No description provided.
Flexible time structures for optimization modeling
JuliaReach development guidelines and resources
Xiangqi rules and operations in TypeScript
Template for Julia Programming Language packages using the copier engine.
Community-curated topic and collection pages on GitHub
Mobile/Web xiangqi UI
Automatic differentiation of Chapel code with enzyme
🌎 Enzyme project home page
Website for the MathDay 2024 held in Vaasa
Editorial bots generator
Testing new proceedings app
highlight.js support for Chapel
example chapel library
a Productive Parallel Programming Language
Numerical experiments for my paper published in FUZZ-IEEE 2023