mfp / extprot
extprot: extensible binary protocols for cross-language communication and long-term serialization
☆209Updated last year
Related projects ⓘ
Alternatives and complementary repositories for extprot
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- ☆57Updated 7 years ago
- State machines in Idris☆36Updated 8 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation☆58Updated 7 years ago
- SPREAD☆19Updated 3 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆56Updated 5 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- a capability-based system☆40Updated 6 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆74Updated last year
- A library for composable fine-grained concurrency.☆53Updated 12 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 8 years ago
- Artifact accompanying our OOPSLA'15 publication.☆32Updated last year
- An implementation of derivative parsing in the parser combinator framework☆59Updated 13 years ago
- ☆38Updated 8 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Build system☆90Updated 6 years ago
- Fast linear time sorting and discrimination for a large class of data types☆134Updated 3 weeks ago
- ☆55Updated 7 years ago
- Scala implementation of the Ctrie datastructure.☆174Updated 3 years ago
- JVM code generation☆32Updated 5 years ago
- Simple (100 line) XML and JSON writing combinators☆25Updated 10 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆68Updated 9 years ago
- playground for working with succinct data structures☆94Updated 9 years ago