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
Sorting:
- An OpenType font format encoder & decoder written in OCaml☆19Nov 6, 2024Updated last year
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- [WIP] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated last year
- ☆46Jan 9, 2023Updated 3 years ago
- Erlang External Term Format for OCaml☆29Oct 27, 2023Updated 2 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Jan 20, 2025Updated last year
- Self-hosting F#-subset compiler☆48Feb 11, 2025Updated last year
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated last month
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- Curated BEAM language libraries by category☆29Jan 23, 2024Updated 2 years ago
- WebAssembly compiler and runtime for BEAM languages☆33Apr 24, 2019Updated 6 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 2 years ago
- MPP: a meta preprocessor that blends programming languages☆32Jun 8, 2023Updated 2 years ago
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Dec 3, 2020Updated 5 years ago
- Format string experimentations☆13Jul 19, 2021Updated 4 years ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- A statically typed functional programming language.☆46Feb 14, 2026Updated 2 weeks ago
- Docker images for SATySFi and Satyrographos☆26Dec 11, 2025Updated 2 months ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,097Sep 25, 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
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Oct 19, 2023Updated 2 years ago
- Dependency Updater for rebar3-based Erlang Projects☆21May 16, 2025Updated 9 months ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- ☆17Dec 5, 2020Updated 5 years ago
- A Matrix Library for Erlang in Erlang☆17Oct 10, 2023Updated 2 years ago
- ☆20Jul 23, 2025Updated 7 months ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127May 14, 2021Updated 4 years ago
- A programming language (WIP)☆29Jun 2, 2024Updated last year
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated last year
- Rufus is a programming language for people that build and operate fault tolerant systems.☆33Sep 2, 2025Updated 6 months ago
- A simple websocket library for OCaml with no dependencies☆16Apr 8, 2024Updated last year
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- QUIC carrier for Erlang Distribution Protocol☆47Jul 30, 2022Updated 3 years ago
- An OCaml library for creating pandoc filters.☆32Oct 9, 2024Updated last year
- Static typechecker for Erlang☆58Updated this week
- An Awesome OCaml splashscreen☆10Apr 1, 2022Updated 3 years ago
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago