Alternatives and similar repositories for separo-rs

Users that are interested in separo-rs are comparing it to the libraries listed below

• playXE / cgc

  View on GitHub
  Copying Garbage Collector
  ☆14May 13, 2020Updated 5 years ago
• theoremoon / satysfi.ml

  View on GitHub
  ☆14Sep 2, 2021Updated 4 years ago
• nkoguro / graviton

  View on GitHub
  WebUI library for Gauche
  ☆13Aug 19, 2023Updated 2 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
• nomaddo / loop

  View on GitHub
  ☆15Apr 8, 2017Updated 8 years ago
• fetburner / compelib

  View on GitHub
  競プロ用ライブラリ
  ☆15Jun 11, 2022Updated 3 years ago
• cympfh / cumin

  View on GitHub
  Mini-Programmable Configuration Language
  ☆17Sep 11, 2024Updated last year
• pveber / ocaml-jquery

  View on GitHub
  Binding to jQuery (for js_of_ocaml)
  ☆25Nov 19, 2012Updated 13 years ago
• xguerin / ppx_bitstring

  View on GitHub
  PPX plugin for the OCAML OPAM bitstring package
  ☆16Jan 10, 2018Updated 8 years ago
• gfngfn / game_tianjiupai

  View on GitHub
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆16Oct 8, 2023Updated 2 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
• pandaman64 / sabi

  View on GitHub
  Formal semantics of Rust
  ☆23Apr 9, 2021Updated 4 years ago
• nachivpn / mt

  View on GitHub
  Master thesis on developing a static type checker for Erlang
  ☆27Sep 30, 2018Updated 7 years ago
• ymyzk / lambda-dti

  View on GitHub
  Interpreter of the ITGL with dynamic type inference
  ☆21Feb 24, 2025Updated 11 months ago
• yallop / ocaml-pb

  View on GitHub
  An OCaml library for describing Protobuf messages
  ☆30Feb 4, 2021Updated 5 years ago
• soren-n / bidi-higher-rank-poly

  View on GitHub
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22May 20, 2021Updated 4 years ago
• koba-e964 / min-caml-rust

  View on GitHub
  A min-caml port to Rust
  ☆26Feb 8, 2025Updated last year
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Dec 11, 2025Updated 2 months ago
• SimonJF / monitored-session-erlang

  View on GitHub
  Supervised Session Actors
  ☆22Jul 6, 2016Updated 9 years ago
• cannorin / nml

  View on GitHub
  Nazo ML - my toy programming language
  ☆59Aug 11, 2020Updated 5 years ago
• qnighy / umo

  View on GitHub
  A programming language (WIP)
  ☆29Jun 2, 2024Updated last year
• monaqa / slydifi

  View on GitHub
  Create a slide with SATySFi!
  ☆56Dec 16, 2022Updated 3 years ago
• dskjal / Blender-AnimeHairSupporter

  View on GitHub
  Blender用のアニメ髪作成支援アドオン
  ☆25Jul 24, 2024Updated last year
• wtsnjp / texlive-ja

  View on GitHub
  Japanese translation for the "TeX Live Guide"
  ☆27Mar 25, 2025Updated 10 months ago
• nyuichi / satysfi-base

  View on GitHub
  complementary collection of useful functions and modules for SATySFi
  ☆32Apr 7, 2024Updated last year
• RedPRL / stagedtt

  View on GitHub
  🪆 A Staged Type Theory
  ☆35Sep 4, 2023Updated 2 years ago
• yutopp / rill

  View on GitHub
  Statically typed system programming language for 文鳥
  ☆94Feb 22, 2021Updated 4 years ago
• uemurax / hott-ja

  View on GitHub
  HoTT in Japanese
  ☆36Oct 1, 2023Updated 2 years ago
• omo / t9n

  View on GitHub
  Translations
  ☆40Oct 21, 2014Updated 11 years ago
• sile / efmt

  View on GitHub
  Erlang code formatter
  ☆75Dec 2, 2025Updated 2 months ago
• JockLawrie / MultinomialRegression.jl

  View on GitHub
  ☆11Oct 25, 2024Updated last year
• akabe / docker-iocaml-datascience

  View on GitHub
  Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning
  ☆28Sep 5, 2017Updated 8 years ago
• andrejbauer / partial-combinatory-algebras

  View on GitHub
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Jan 6, 2025Updated last year
• eliza0x / cotton

  View on GitHub
  compiler, llvm
  ☆36Jun 25, 2018Updated 7 years ago
• gfngfn / the_satysfibook

  View on GitHub
  The manuscript for The SATySFi​book (1st edition for the Web)
  ☆36Aug 27, 2024Updated last year
• tana / Mondeto

  View on GitHub
  An open, flexible, and secure online virtual reality system.
  ☆41Jan 22, 2026Updated 3 weeks ago
• gfngfn / Sesterl

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