Alternatives and similar repositories for IoPLMaterials

Users that are interested in IoPLMaterials are comparing it to the libraries listed below

• aigarashi / PL-LectureNotes

  View on GitHub
  ☆53Jan 17, 2020Updated 6 years ago
• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 4 years ago
• monaqa / satysfi-language-server

  View on GitHub
  The SATySFi Language Server
  ☆67Feb 1, 2023Updated 3 years ago
• camlspotter / ocaml-zippy-tutorial-in-japanese

  View on GitHub
  OCaml の日本語での情報
  ☆95Oct 3, 2018Updated 7 years ago
• gfngfn / SATySFi

  View on GitHub
  A statically-typed, functional typesetting system
  ☆1,241Dec 15, 2025Updated 2 months ago
• nagaet / Garrigue-lecture-2018_AW

  View on GitHub
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Feb 27, 2019Updated 6 years ago
• gfngfn / cs-thesis

  View on GitHub
  A SATySFi class file for writing CS master theses at The University of Tokyo
  ☆29Sep 13, 2018Updated 7 years ago
• na0214 / snail

  View on GitHub
  [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
  ☆13Dec 3, 2020Updated 5 years ago
• yoriyuki / ucorelib

  View on GitHub
  A new Unicode library for OCaml
  ☆34Jun 9, 2014Updated 11 years ago
• smimram / ocaml-alg

  View on GitHub
  Algebraic structures in OCaml.
  ☆25Nov 21, 2025Updated 2 months ago
• hsjoihs / camphorscript

  View on GitHub
  A C-like language designed to help write brainf*ck
  ☆14Aug 29, 2019Updated 6 years ago
• mizunashi-mana / proglang-notes

  View on GitHub
  Notes of Programming Languages
  ☆11Nov 30, 2024Updated last year
• ocaml-ppx / ocaml-syntax-shims

  View on GitHub
  Backport new syntax to older compilers
  ☆14Dec 9, 2019Updated 6 years ago
• shoudai / bib-satysfi

  View on GitHub
  Citation in SATySFi like BibTeX
  ☆12Oct 5, 2019Updated 6 years ago
• gfngfn / Sesterl

  View on GitHub
  An ML-like statically-typed Erlang
  ☆157Oct 6, 2023Updated 2 years ago
• faber-lang / faber

  View on GitHub
  functional programming language and its compiler
  ☆18Oct 22, 2019Updated 6 years ago
• maekawatoshiki / rcaml

  View on GitHub
  rcaml is an OCaml implementation in Rust
  ☆63Dec 25, 2017Updated 8 years ago
• ushitora-anqou / waq

  View on GitHub
  Yet another ActivityPub server implementation written in OCaml
  ☆49Dec 25, 2025Updated last month
• kaityo256 / sevendayshpc

  View on GitHub
  一週間でなれる！スパコンプログラマ
  ☆722Apr 10, 2025Updated 10 months ago
• anuragsoni / shuttle_http

  View on GitHub
  HTTP/1.1 server and client for ocaml (using Async)
  ☆23Apr 26, 2025Updated 9 months ago
• yawaramin / re-hyperapp

  View on GitHub
  Almost zero-cost bindings for the https://github.com/hyperapp/hyperapp UI library.
  ☆21Apr 12, 2019Updated 6 years ago
• keigoi / ocaml-mpst

  View on GitHub
  Multiparty Session Types in OCaml
  ☆59Nov 1, 2024Updated last year
• asciidwango / ptex

  View on GitHub
  ☆10Jun 26, 2019Updated 6 years ago
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago
• gfngfn / otfed

  View on GitHub
  An OpenType font format encoder & decoder written in OCaml
  ☆19Nov 6, 2024Updated last year
• fsugjp / fsugjp

  View on GitHub
  ☆18Nov 15, 2019Updated 6 years ago
• jtcoolen / ocaml-pari

  View on GitHub
  OCaml bindings to the number theory library PARI/GP
  ☆12Jan 11, 2025Updated last year
• janestreet / redis-async

  View on GitHub
  Redis client for Async applications
  ☆19Jan 15, 2026Updated last month
• Fadis / slce

  View on GitHub
  Standard Library Concepts Emulation
  ☆14Feb 8, 2021Updated 5 years ago
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• biocaml / cfstream

  View on GitHub
  Stream operations in the style of Core's API.
  ☆17Feb 9, 2023Updated 3 years ago
• patricoferris / jsoo-mithril

  View on GitHub
  Js_of_ocaml bindings for MithrilJS
  ☆18Jan 23, 2021Updated 5 years ago
• mmottl / pcre-ocaml

  View on GitHub
  OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
  ☆35Dec 20, 2025Updated last month
• janestreet / memtrace

  View on GitHub
  Streaming client for OCaml's Memprof
  ☆73Jan 15, 2026Updated last month
• rchaser53 / rust-jvm

  View on GitHub
  A toy JVM on Web Browser implemented by Rust
  ☆63Jan 7, 2023Updated 3 years ago
• dbuenzli / uunf

  View on GitHub
  Unicode text normalization for OCaml
  ☆25Jan 2, 2026Updated last month
• dbuenzli / uutf

  View on GitHub
  Non-blocking streaming Unicode codec for OCaml
  ☆36Jul 29, 2025Updated 6 months ago
• smlsharp / smlsharp

  View on GitHub
  SML# compiler
  ☆246Dec 8, 2025Updated 2 months ago
• SnO2WMaN / satyxin

  View on GitHub
  Are you SATySFi-ed with Nix?
  ☆14Mar 6, 2023Updated 2 years ago