bobatkey/playtime 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

bobatkey/playtime

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/bobatkey/playtime)

Close

bobatkey / playtimeView on GitHubMore

• External links
• Readme badge

An OCaml EDSL for describing and solving strategic games

☆17Sep 10, 2023Updated 2 years ago

Alternatives and similar repositories for playtime

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

• david-engelmann / atproto

  View on GitHub
  OCaml-based AT Protocol tools
  ☆13Oct 13, 2023Updated 2 years ago
• geocaml / carbon-intensity

  View on GitHub
  An HTTP client for accessing various carbon intensity APIs
  ☆25Nov 26, 2024Updated last year
• ocurrent / ocluster

  View on GitHub
  Distribute CI builds to worker nodes over Cap'n Proto
  ☆40Dec 10, 2025Updated 3 months ago
• mirage / mirage-vnetif

  View on GitHub
  Virtual network interface and software bridge for Mirage
  ☆16Mar 6, 2025Updated last year
• kayceesrk / irmin-datatypes

  View on GitHub
  A collection of functional, mergeable datatypes for Irmin
  ☆12Dec 25, 2016Updated 9 years ago
• realworldocaml / craml

  View on GitHub
  CRAM testing framework
  ☆22Sep 9, 2019Updated 6 years ago
• hannesm / ocaml-hkdf

  View on GitHub
  HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
  ☆12Sep 4, 2024Updated last year
• Octachron / talaria_bibtex

  View on GitHub
  A bibtex file parser
  ☆21Feb 11, 2024Updated 2 years ago
• verbosemode / syslogd-mirage

  View on GitHub
  MirageOS Syslog Unikernel
  ☆11Oct 30, 2016Updated 9 years ago
• lukstafi / ocaml-cudajit

  View on GitHub
  Bindings to the `cuda` and `nvrtc` libraries with a unified interface
  ☆22Aug 19, 2025Updated 7 months ago
• mirage / mmap

  View on GitHub
  File mapping
  ☆12Dec 14, 2023Updated 2 years ago
• geocaml / ocaml-geojson

  View on GitHub
  A library for manipulating, creating and parsing GeoJSON
  ☆40Nov 3, 2024Updated last year
• ujamjar / hardcaml-affirm

  View on GitHub
  Verification tools for HardCaml
  ☆10Jun 13, 2018Updated 7 years ago
• ujamjar / hardcaml-llvmsim

  View on GitHub
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13May 21, 2017Updated 8 years ago
• hennequin-lab / gp

  View on GitHub
  Simple OCaml interface for Gnuplot
  ☆11Oct 6, 2021Updated 4 years ago
• haesbaert / charrua-unix

  View on GitHub
  A DHCP server for UNIX systems based on charrua-core.
  ☆11May 24, 2017Updated 8 years ago
• Khady / slack-backup

  View on GitHub
  OCaml cli tool to backup discussions (channels and conversations) from slack
  ☆10May 22, 2016Updated 9 years ago
• gdeest / ocaml-isl

  View on GitHub
  OCaml bindings for the Integer Set Library.
  ☆13Jun 12, 2014Updated 11 years ago
• jfeser / bitarray

  View on GitHub
  Fast vectorized bitarrays for OCaml
  ☆16Jul 11, 2023Updated 2 years ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• samoht / loops-mirage

  View on GitHub
  Tutoriel MirageOS pour la 8e journée LoOPS
  ☆12Dec 17, 2015Updated 10 years ago
• fxfactorial / ocaml-libssh

  View on GitHub
  OCaml bindings to libssh
  ☆14Jan 3, 2016Updated 10 years ago
• ocaml / oloop

  View on GitHub
  Evaluate code through the OCaml toploop for inclusion in educational material.
  ☆13Jul 4, 2015Updated 10 years ago
• cmangla / altera-sockit-hardcaml

  View on GitHub
  ☆10Nov 23, 2015Updated 10 years ago
• Emmanuel-PLF / facile

  View on GitHub
  FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
  ☆15Feb 27, 2024Updated 2 years ago
• TImada / mirage_iperf

  View on GitHub
  iperf like tool on MirageOS
  ☆11Sep 16, 2025Updated 6 months ago
• lcdunstan / reqtrace

  View on GitHub
  Requirement traceability tool for OCaml
  ☆13Jun 21, 2015Updated 10 years ago
• dsheets / blueprint

  View on GitHub
  Simple templating based on XML ropes
  ☆12Sep 4, 2015Updated 10 years ago
• fadbadml-dev / FADBADml

  View on GitHub
  Automatic Differentiation: FADBAD++ for OCaml
  ☆14Oct 26, 2020Updated 5 years ago
• hammerlab / coclobas

  View on GitHub
  Configurable Cloudy Batch Scheduler
  ☆16Sep 27, 2017Updated 8 years ago
• ifazk / mula

  View on GitHub
  ML's radishal Universal Levenshtein Automata library.
  ☆13Jan 5, 2022Updated 4 years ago
• yallop / ocaml-safe-string-buffer

  View on GitHub
  A buffer implementation optimized for immutable strings.
  ☆14Feb 5, 2016Updated 10 years ago
• LaurentMazare / ocaml.jl

  View on GitHub
  Prototype code for some Julia-OCaml bindings
  ☆16Jan 3, 2021Updated 5 years ago
• imandra-ai / vega-lite

  View on GitHub
  OCaml library to produce vega-lite visualizations (as json objects)
  ☆17Aug 17, 2022Updated 3 years ago
• patricoferris / omditor

  View on GitHub
  Irmin-based Markdown Editor
  ☆49Nov 10, 2022Updated 3 years ago
• ryanslade / nsq-ocaml

  View on GitHub
  OCaml client library for the NSQ messaging platform
  ☆13May 5, 2022Updated 3 years ago
• shirkdog / zfsbackup

  View on GitHub
  Simple backup scripts to manage ZFS snapshots for filesystem backups.
  ☆20May 26, 2021Updated 4 years ago
• dhil / ocaml-multicont

  View on GitHub
  multi-shot continuations in OCaml
  ☆52Nov 21, 2025Updated 4 months ago
• rudenoise / mirage-dashboard

  View on GitHub
  A dashboard displaying useful data from MirageOS project and its related repositories.
  ☆12Sep 7, 2016Updated 9 years ago