I like learning about neural networks, philosophy of mind and type theory.
- Edinburgh, UK
- https://initialalgebra.wordpress.com/
-
rayon Public
Forked from rayon-rs/rayonRayon: A data parallelism library for Rust
Rust Apache License 2.0 UpdatedMar 23, 2024 -
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda MIT License UpdatedDec 8, 2022 -
-
-
swarm Public
Forked from swarm-game/swarmResource gathering + programming game
Haskell Other UpdatedMay 18, 2022 -
pyglzip Public
Graph compression techniques for graph learning systems
Rust GNU Affero General Public License v3.0 UpdatedApr 11, 2022 -
-
-
torch-quiver Public
Forked from quiver-team/torch-quiverPyTorch Library for Fast and Easy Distributed Graph Learning
Python Apache License 2.0 UpdatedMar 31, 2022 -
compactset Public
Compressed integer sets
Rust GNU Affero General Public License v3.0 UpdatedMar 4, 2022 -
ogb Public
Forked from snap-stanford/ogbBenchmark datasets, data loaders, and evaluators for graph machine learning
Python MIT License UpdatedFeb 25, 2022 -
ivy Public
Forked from ivy-llc/ivyThe Unified Machine Learning Framework
Python Apache License 2.0 UpdatedFeb 14, 2022 -
-
-
-
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedOct 19, 2021 -
-