Alternatives and similar repositories for ocaml-zippy-tutorial-in-japanese

Users that are interested in ocaml-zippy-tutorial-in-japanese are comparing it to the libraries listed below

• yoriyuki / ucorelib

  View on GitHub
  A new Unicode library for OCaml
  ☆34Jun 9, 2014Updated 11 years ago
• ksk / Rho

  View on GitHub
  Programs for checking the ρ property
  ☆17Feb 28, 2021Updated 4 years ago
• yutopp / obeam

  View on GitHub
  [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.
  ☆16Aug 27, 2019Updated 6 years ago
• qnighy / satysfi-cross-windows

  View on GitHub
  Crosscompiling SATySFi from Ubuntu to Windows
  ☆16Jul 8, 2018Updated 7 years ago
• nkon / ked-texteditor

  View on GitHub
  simple text editor using rust language.
  ☆14Apr 13, 2020Updated 5 years ago
• na0214 / linear-lambda-calculus

  View on GitHub
  An implementation of Linear Lambda Calculus.
  ☆15Apr 16, 2020Updated 5 years ago
• clj-nakano / effective-programs-ja

  View on GitHub
  Summary of Rich Hickey's "Effective Programs" at Clojure/Conj 2017 in Japanese
  ☆13Jul 31, 2018Updated 7 years ago
• na4zagin3 / satyrographos-repo

  View on GitHub
  Custom OPAM repository for SATySFi libraries managed by Satyrographos
  ☆18Jan 20, 2025Updated last year
• kuis-isle3sw / IoPLMaterials

  View on GitHub
  Materials for the class "Implementation of Programming Languages" in Kyoto University.
  ☆168Oct 29, 2025Updated 3 months ago
• proskenion / proskenion

  View on GitHub
  Blockchain project for creators.
  ☆27Mar 12, 2019Updated 6 years ago
• nanaka-inside / kaisetsu-CoreUtils

  View on GitHub
  解説CoreUtils の原稿
  ☆88Dec 16, 2019Updated 6 years ago
• sapporo-beam / sapporo-beam

  View on GitHub
  The community language built on top of the Erlang VM
  ☆19Jul 6, 2014Updated 11 years ago
• fsugjp / fsugjp

  View on GitHub
  ☆18Nov 15, 2019Updated 6 years ago
• shinchoku-tairiku / shinchoku-tairiku.satyh

  View on GitHub
  進捗大陸で使用されたSATySFiファイル
  ☆12May 22, 2023Updated 2 years ago
• wejournal / lamb

  View on GitHub
  A statically typed and lazy evaluated implementation of Lambda Calculus.
  ☆21Sep 15, 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
• k16shikano / hpdft

  View on GitHub
  tools to poke pdf using haskell
  ☆45Feb 7, 2025Updated last year
• konn / satysfi-steamer

  View on GitHub
  Steamer: presentation in SATySFi
  ☆14May 9, 2019Updated 6 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
• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 4 years ago
• MasWag / pandoc-satysfi-template

  View on GitHub
  A pandoc custom writer and template for SATySFi
  ☆10Feb 7, 2026Updated last week
• gatlin / tubes

  View on GitHub
  Stream processing with a series of tubes.
  ☆14Sep 1, 2016Updated 9 years ago
• nomaddo / loop

  View on GitHub
  ☆15Apr 8, 2017Updated 8 years ago
• shoudai / bib-satysfi

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

  View on GitHub
  SATySFi's package
  ☆13Sep 11, 2019Updated 6 years ago
• monaqa / slydifi

  View on GitHub
  Create a slide with SATySFi!
  ☆56Dec 16, 2022Updated 3 years ago
• harukamm / ocaml-blockly

  View on GitHub
  OCaml visual programming editor based on Blockly.
  ☆66Apr 22, 2019Updated 6 years ago
• todesking / unsafety-zoo.ts

  View on GitHub
  Various ways to bring unsoundness to TypeScript
  ☆15Apr 28, 2021Updated 4 years ago
• rhysd / rhysd

  View on GitHub
  README.md for my profile page
  ☆18Nov 30, 2023Updated 2 years ago
• omo / t9n

  View on GitHub
  Translations
  ☆40Oct 21, 2014Updated 11 years ago
• ocaml / ocaml-ci-scripts

  View on GitHub
  Skeletons for CI scripts
  ☆101Oct 10, 2022Updated 3 years ago
• shiatsumat / wiwinwlh-jp

  View on GitHub
  What I Wish I Knew When Learning Haskell 日本語訳
  ☆118Jul 23, 2016Updated 9 years ago
• gfngfn / otfed

  View on GitHub
  An OpenType font format encoder & decoder written in OCaml
  ☆19Nov 6, 2024Updated last year
• rust-lang-ja / the-rust-programming-language-ja

  View on GitHub
  Rust文書の【旧】和訳レポジトリ → 最新版はこちら： https://github.com/rust-lang-ja/book-ja
  ☆349Oct 12, 2020Updated 5 years ago
• coord-e / mlml

  View on GitHub
  self-hosted compiler for a subset of OCaml
  ☆51Jun 12, 2019Updated 6 years ago
• japan-clojurians / clojure-site-ja

  View on GitHub
  clojure-site 日本語版
  ☆33Nov 30, 2019Updated 6 years ago
• aigarashi / PL-LectureNotes

  View on GitHub
  ☆53Jan 17, 2020Updated 6 years ago
• dune-universe / dune-universe

  View on GitHub
  All opam packages using dune
  ☆21Mar 6, 2023Updated 2 years ago