Allister Beharry
Software Developer
Freelancer
location_on Trinidad and Tobago
Member since 1 year
Share
Allister Beharry
Specialises In
I've been programming computers both as a hobby and professionally for almost 20 years. I like both Windows and Linux. My current focus is computer security, machine learning and .NET HPC.
-
keyboard_arrow_down
Lightweight dependent types for scientific computing
20 Mins
Demonstration
Intermediate
Sylvester is an F# DSL for scientific computing which implements an advanced type system where vector, matrix, tensor, neural-network and other types have numeric properties like dimension sizes, rank, layer node size, etc., encoded as part of the type. Type-level constraints for operations like matrix multiplication or network layer construction utilize the F# type checker as a type-checker for linear algebra and other mathematical domains which allows for type-level verification of mathematical operations and for Intellisense-enabled IDEs to provide immediate feedback that helps the user avoid errors in mathematical expressions..
-
-
No more submissions exist.