Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for mathematics type system
mathematics
x
type-system
x
2 search results found
Computational Algebra
⭐
81
General-Purpose Computer Algebra System as an EDSL in Haskell
Purescript Quantities
⭐
49
Physical quantities and units
Directsum.jl
⭐
48
Tangent bundle, vector space and Submanifold definition
Abstracttensors.jl
⭐
42
Tensor algebra abstract type interoperability setup
Groupoid.space
⭐
34
🧊 Інститут Формальної Математики
Plt Research
⭐
28
A collection of PLT researching
Related Searches
Javascript Mathematics (1,108)
Types Type System (228)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.