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☆18Apr 6, 2026Updated last week
- An OpenType font format encoder & decoder written in OCaml☆20Updated this week
- [WIP] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated 2 years ago
- Docker images for SATySFi and Satyrographos☆26Mar 5, 2026Updated last month
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 2 years ago
- ☆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
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆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☆20Apr 6, 2026Updated last week
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Rufus is a programming language for people that build and operate fault tolerant systems.☆33Sep 2, 2025Updated 7 months ago
- A statically typed functional programming language.☆46Apr 4, 2026Updated last week
- A bibliography framework for SATySFi.☆23Jan 6, 2023Updated 3 years ago
- A statically-typed, functional typesetting system☆1,243Updated this week
- 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