Projects

Scientific Software

Updated 6 months ago

Visions — Peer-reviewed • Rank 22.2 • Science 93%

Visions: An Open-Source Library for Semantic Data - Published in JOSS (2020)

data-analysis data-science hacktoberfest numpy pandas python spark type-inference type-system

Sociology

Scientific Software · Peer-reviewed

Updated 6 months ago

hash • Rank 11.2 • Science 54%

🚀 The open-source, multi-tenant, self-building knowledge graph

ai database graph hash rust superapp type-system typescript

Updated 6 months ago

DirectSum • Rank 7.8 • Science 54%

Tangent bundle, vector space and Submanifold definition

abstract-algebra applied-category-theory category-theory compositionality functor linear-algebra manifold manifolds math tensor-algebra tensors type-system

Updated 5 months ago

https://github.com/chakravala/abstracttensors.jl • Rank 8.7 • Science 23%

Tensor algebra abstract type interoperability setup

applied-category-theory category-theory compositionality functor linear-algebra manifold manifolds math tensor tensor-algebra type-system

Updated 6 months ago

atlas • Science 49%

Automated Amortised Complexity Analysis of Self-Adjusting Data Structures

amortized-analysis cav2021 splay-tree static-analysis type-system

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

Visions — Peer-reviewed • Rank 22.2 • Science 93%

hash • Rank 11.2 • Science 54%

DirectSum • Rank 7.8 • Science 54%

https://github.com/chakravala/abstracttensors.jl • Rank 8.7 • Science 23%

atlas • Science 49%