sylvanc / pony-lectureLinks
Slides for Pony lectures
☆27Updated 7 years ago
Alternatives and similar repositories for pony-lecture
Users that are interested in pony-lecture are comparing it to the libraries listed below
Sorting:
- Pure Pony implementation of the ZeroMQ messaging library.☆65Updated 3 years ago
- Functional data structures for Pony☆44Updated 8 years ago
- Pure Pony Kafka client☆58Updated 6 years ago
- Pony implementation of http://www.reactive-streams.org/☆40Updated 2 months ago
- Property Based Testing for Ponylang 🐴 ✔️☆59Updated 3 years ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Updated 4 years ago
- Safe Pony FFI wrapper for the libsodium cryptography library.☆24Updated 2 years ago
- RFCs for changes to Pony☆62Updated 6 months ago
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆33Updated last month
- My first Pony app - multi-user telnet-based chat☆13Updated 8 years ago
- A functional programming language designed for concurrency and failure☆44Updated 2 years ago
- A procedurally generated RPG inspired by Rogue and written in Pony.☆69Updated 5 years ago
- A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).☆76Updated 4 years ago
- Small Pony library for converting common objects to human-readable strings.☆25Updated 3 years ago
- A simple dependency manager for the Pony language.☆136Updated 5 years ago
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆38Updated 6 years ago
- A cookbook style book of patterns for Pony☆71Updated 2 months ago
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Updated 7 years ago
- A lightweight Datalog engine in Rust☆57Updated 2 months ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- Exercism exercises in Pony.☆38Updated 9 months ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 8 years ago
- Integrating the CAP theorem into distributed language design.☆13Updated 6 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- An Actor Library for Rust☆20Updated 9 years ago
- Conway's Game of Life, implemented in Rust☆33Updated 7 years ago
- ExarDB - An event store with streaming support built with Rust☆68Updated 6 years ago
- ☆14Updated 9 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago