An ML-like statically-typed Erlang
☆157Oct 6, 2023Updated 2 years ago
Alternatives and similar repositories for Sesterl
Users that are interested in Sesterl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Jan 20, 2025Updated last year
- An OpenType font format encoder & decoder written in OCaml☆20Nov 6, 2024Updated last year
- [WIP] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated last year
- Docker images for SATySFi and Satyrographos☆26Mar 5, 2026Updated 2 weeks ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated last year
- ☆46Jan 9, 2023Updated 3 years ago
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Dec 3, 2020Updated 5 years ago
- Erlang External Term Format for OCaml☆29Oct 27, 2023Updated 2 years ago
- Self-hosting F#-subset compiler☆48Feb 11, 2025Updated last year
- WebAssembly compiler and runtime for BEAM languages☆33Apr 24, 2019Updated 6 years ago
- Package manager for SATySFi☆48Sep 25, 2023Updated 2 years ago
- QUIC carrier for Erlang Distribution Protocol☆47Jul 30, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆17Dec 5, 2020Updated 5 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 2 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆35Sep 20, 2022Updated 3 years ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,098Sep 25, 2023Updated 2 years ago
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated 2 months ago
- Nazo ML - my toy programming language☆59Aug 11, 2020Updated 5 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- A programming language (WIP)☆29Jun 2, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- Citation in SATySFi like BibTeX☆12Oct 5, 2019Updated 6 years ago
- Curated BEAM language libraries by category☆29Jan 23, 2024Updated 2 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127May 14, 2021Updated 4 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- MPP: a meta preprocessor that blends programming languages☆32Jun 8, 2023Updated 2 years ago
- ☆17Oct 22, 2023Updated 2 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Rufus is a programming language for people that build and operate fault tolerant systems.☆33Sep 2, 2025Updated 6 months ago
- A statically typed functional programming language.☆46Mar 16, 2026Updated last week
- A bibliography framework for SATySFi.☆23Jan 6, 2023Updated 3 years ago
- A statically-typed, functional typesetting system☆1,243Dec 15, 2025Updated 3 months ago
- SATySFi's package☆13Sep 11, 2019Updated 6 years ago
- Dependency Updater for rebar3-based Erlang Projects☆21May 16, 2025Updated 10 months ago
- Rust reimplementation of subset of Erlang's xref☆15Nov 28, 2021Updated 4 years ago