59 skills found · Page 1 of 2
AndreyPavlenko / FermataNo description available
ImperialCollegeLondon / FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
natevw / FermataSuccinct native REST client, for client-side web apps and node.js. Turns URLs into (optionally: magic!) JavaScript objects.
iccir / FermatamacOS app to deactivate the lid close sensor
NVlabs / FermatFermat is a high performance research oriented physically based rendering system, trying to produce beautiful pictures following the mathematician’s principle of least time
mathigon / Fermat.jsMathematics and statistics library for TypeScript.
shapr / Fermatslastmargintool for creating and sharing annotations, using github for storage and social network
JordanRL / FermatA library providing math and statistics operations for numbers of arbitrary size.
leanprover-community / Flt RegularFermat's Last Theorem for regular primes
wokwi / Splendida256 WS2812B LEDs arranged in Fermat's Spiral Shape
vittorioPiotti / FermatAndRSA JavaSoluzione software in Java che genera e salva su file i numeri primi con algoritmo di Fermat e algoritmo di crittografia RSA
riccardobrasca / Flt3Proof in Lean of Fermat Last Theorem for exponent 3
cmu-ci-lab / Nlos Fermat Pathnon-line-of-sight shape reconstruction using Fermat paths
winkerVSbecks / Fermat PointA fermat point calculator built using SVG and ReactJS
xiconxi / Fermat3D OpenMeshFermat 3D Spiral implementation based on heat geodesic for watertight manifold mesh based on openmesh
jeinselen / VF BlenderPointArrayGenerate point arrays for Geometry Nodes using cubic grid, golden angle (Fermat's spiral), poisson disc sampling, or import points from data sources in CSV, NPY, and VF (Unity 3D volume field) formats.
Safi9655 / Fermata Auto No description available
facusapienza21 / Fermat DistanceWe propose a density-based estimator for weighted geodesic distances suitable for data lying on a manifold of lower dimension than ambient space and sampled from a possibly nonuniform distribution
ktwzk / Rsa Fermat CrackIt's an RSA-cracker, that uses Fermat's factorization method to get p and q.
ejbosia / Fermat SpiralsCreating fermat spirals to fill 2D images.
