google / casfs
Content-addressable storage, implemented over pyfilesystem2.
☆16Updated 4 years ago
Related projects: ⓘ
- ☆15Updated 6 months ago
- Web interface for Cayley☆25Updated last year
- Coq BPF interpreter☆18Updated 6 years ago
- ☆20Updated 8 years ago
- Bazel Lesson 2☆28Updated 4 years ago
- The Metaweb Query Language☆19Updated 4 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆21Updated 2 years ago
- ☆18Updated 5 years ago
- Bazel build rules for machine learning workflows☆28Updated last year
- Framework for integration tests that call Bazel☆32Updated 2 years ago
- functional data structures and utilities for python☆35Updated 5 years ago
- Using parsec☆9Updated 4 years ago
- Try it! https://comby.live☆10Updated last year
- A VSCode plugin to edit Hypermerge documents☆28Updated last year
- An experimental patchset management tool.☆11Updated 3 years ago
- Data centralization tool☆35Updated 4 years ago
- Various examples of functionality in Eve and how to build apps.☆14Updated 7 years ago
- Bazel rules to resolve, fetch and manage 3rdparty JVM dependencies with support for multiple parallel versions of the same dependency. Po…☆47Updated last year
- Bazel rules for pip requirements☆30Updated 3 years ago
- Elm-style library for writing modern frontends☆15Updated 2 years ago
- Bazel website build tools☆24Updated 11 months ago
- A streaming PostgreSQL logical replication client library for Haskell☆38Updated last year
- TypeDB (Core and Cluster) RPC Communication Protocol☆16Updated this week
- Programming Languages Grammar House (BNF like grammars)☆17Updated last week
- JarJar rules for bazel (rename packages and classes in existing jars)☆18Updated 2 months ago
- UnderHood is a code browsing interface backed by Kythe indices.☆80Updated 4 months ago
- 📦 A package manager based on Nix☆20Updated 4 months ago
- In-memory JVM-based Bigtable emulator☆13Updated 2 years ago
- Category theory in Coq, by Jason Gross