sylvanc/pony-lecture external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sylvanc/pony-lecture

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sylvanc/pony-lecture)

Close

sylvanc / pony-lectureView on GitHubMore

• External links
• Readme badge

Slides for Pony lectures

☆28Jan 25, 2018Updated 8 years ago

Alternatives and similar repositories for pony-lecture

Users that are interested in pony-lecture are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• jemc / pony-zmq

  View on GitHub
  Pure Pony implementation of the ZeroMQ messaging library.
  ☆65Aug 20, 2022Updated 3 years ago
• jemc / pony-inspect

  View on GitHub
  Small Pony library for converting common objects to human-readable strings.
  ☆25Sep 28, 2021Updated 4 years ago
• jemc / ponycc

  View on GitHub
  Pony package for parsing, manipulating, and compiling Pony code.
  ☆36Nov 23, 2020Updated 5 years ago
• dleonard0 / pony-vim-syntax

  View on GitHub
  Vim syntax plugin for ponylang
  ☆31Sep 26, 2017Updated 8 years ago
• jemc / pony-capnp

  View on GitHub
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Apr 7, 2018Updated 7 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• ponylang / reactive_streams

  View on GitHub
  Pony implementation of http://www.reactive-streams.org/
  ☆42Updated this week
• mantzas / incata

  View on GitHub
  Event Sourcing Data Access Library
  ☆19Feb 28, 2018Updated 8 years ago
• jtfmumm / pony-functional-data

  View on GitHub
  Functional data structures for Pony
  ☆44Apr 28, 2017Updated 8 years ago
• ponylang / pony-stable

  View on GitHub
  A simple dependency manager for the Pony language.
  ☆136May 12, 2020Updated 5 years ago
• WallarooLabs / pony-kafka

  View on GitHub
  Pure Pony Kafka client
  ☆59Apr 2, 2019Updated 6 years ago
• jemc / pony-sodium

  View on GitHub
  Safe Pony FFI wrapper for the libsodium cryptography library.
  ☆24Aug 22, 2022Updated 3 years ago
• willcrichton / rustc-type-metaprogramming

  View on GitHub
  ☆24Mar 19, 2018Updated 8 years ago
• yysun / apprun-websockets-sqlite

  View on GitHub
  AppRun database-driven application using WebSockets without REST API
  ☆12Jan 7, 2023Updated 3 years ago
• massemanet / abets

  View on GitHub
  Append-only B+tree Erlang Term Storage (pure disk based)
  ☆18Dec 5, 2017Updated 8 years ago
• DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• jtfmumm / novitiate

  View on GitHub
  A procedurally generated RPG inspired by Rogue and written in Pony.
  ☆70Apr 11, 2020Updated 5 years ago
• Dieterbe / profiletrigger

  View on GitHub
  automatically trigger a profile in your golang (go) application when a condition is matched.
  ☆15Oct 2, 2020Updated 5 years ago
• oraoto / pony-websocket

  View on GitHub
  WebSocket server for Ponylang🐴
  ☆45Feb 15, 2024Updated 2 years ago
• ponylang / rfcs

  View on GitHub
  RFCs for changes to Pony
  ☆63Mar 17, 2026Updated last week
• ponylang / ponycheck

  View on GitHub
  Property Based Testing for Ponylang 🐴 ✔️
  ☆60Feb 26, 2022Updated 4 years ago
• ponylang / ponylang-mode

  View on GitHub
  Pony syntax highlighting, Code formatting, Playground and more things for Emacs.
  ☆35Mar 11, 2026Updated 2 weeks ago
• japaric / jnet

  View on GitHub
  [Experiment] JNeT: japaric's network thingies
  ☆28Nov 17, 2019Updated 6 years ago
• TheZoq2 / esp01-rs

  View on GitHub
  Rust crate for communication with the esp01 variant of the esp8266
  ☆24Jun 18, 2020Updated 5 years ago
• emilecantin / node-u2flib-server

  View on GitHub
  ☆15May 2, 2016Updated 9 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• probe-rs / probe-rs-rtt

  View on GitHub
  Library for interfacing with the RTT (Real-Time Transfer) debugging protocol over probe-rs
  ☆23Aug 26, 2021Updated 4 years ago
• ararog / timeago

  View on GitHub
  A small golang library to make calculation of time duration easier
  ☆12Mar 28, 2016Updated 9 years ago
• christianalfoni / flutter_observable_state

  View on GitHub
  Observable state for flutter applications
  ☆16May 28, 2020Updated 5 years ago
• loucash / riak_governor

  View on GitHub
  What's an ensemble of leaders? A riak_governor.
  ☆10Apr 13, 2015Updated 10 years ago
• nitsanw / HdrLogProcessing

  View on GitHub
  Utilities for HDR Histogram logs manipulation
  ☆30Mar 1, 2021Updated 5 years ago
• pioardi / hurricane-scheduler

  View on GitHub
  Task scheduler with high availability.
  ☆12Jul 26, 2021Updated 4 years ago
• ararog / verbo

  View on GitHub
  A collection of string utilities for GO.
  ☆11May 19, 2016Updated 9 years ago
• krestenkrab / riak_btree_backend

  View on GitHub
  Backend for Riak/KV based on couch_btree
  ☆12Apr 27, 2011Updated 14 years ago
• cerebral-legacy / cerebral-boilerplate

  View on GitHub
  A boilerplate to get going with Cerebral
  ☆15Jun 27, 2016Updated 9 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• utah-scs / shredder

  View on GitHub
  Code for paper: Narrowing the Gap Between Serverless and its State with Storage Functions
  ☆12Jul 10, 2020Updated 5 years ago
• tock / elf2tab

  View on GitHub
  Tool to create Tock Application Bundles from ELF files.
  ☆18Aug 12, 2025Updated 7 months ago
• knutin / judy

  View on GitHub
  Erlang NIF interface to Judy arrays
  ☆16Feb 19, 2012Updated 14 years ago
• iPieter / rule-engine-dart

  View on GitHub
  A Drools-like rule engine written from the ground up in Dart and available as Flutter plugin
  ☆22Apr 3, 2022Updated 3 years ago
• AdamLaurie / marc4dasm

  View on GitHub
  Atmel MARC4 disassembler
  ☆16Mar 29, 2013Updated 12 years ago
• ryyppy / reason-lnd

  View on GitHub
  OBSOLETE! Check out https://github.com/ryyppy/reason-tictactoe INSTEAD
  ☆23Feb 20, 2018Updated 8 years ago
• Unidata / ttm

  View on GitHub
  Provide a reference implementation for the TTM programming language.
  ☆10Oct 5, 2014Updated 11 years ago