An ML-like statically-typed Erlang
☆162Oct 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☆19Apr 29, 2026Updated 4 months ago
- An OpenType font format encoder & decoder written in OCaml☆21Apr 12, 2026Updated 4 months ago
- [WIP] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated 2 years ago
- Docker images for SATySFi and Satyrographos☆26Jun 23, 2026Updated 2 months ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- ☆47Jan 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
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated 2 years ago
- Erlang External Term Format for OCaml☆29Oct 27, 2023Updated 2 years ago
- Self-hosting F#-subset compiler☆48Feb 11, 2025Updated last year
- Package manager for SATySFi☆48Sep 25, 2023Updated 2 years ago
- WebAssembly compiler and runtime for BEAM languages☆34Apr 24, 2019Updated 7 years ago
- QUIC carrier for Erlang Distribution Protocol☆48Jul 30, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆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 functional language for building type-safe, scalable, and maintainable applications☆1,105Sep 25, 2023Updated 2 years ago
- Libhydrogen bindings for Erlang☆20Feb 10, 2019Updated 7 years ago
- Library containing the definition of S-expressions and some base converters☆21Jul 10, 2026Updated last month
- A programming language (WIP)☆29Jun 2, 2024Updated 2 years ago
- Nazo ML - my toy programming language☆59Aug 11, 2020Updated 6 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 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.
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- Citation in SATySFi like BibTeX☆12Oct 5, 2019Updated 6 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127May 14, 2021Updated 5 years ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 3 years ago
- MPP: a meta preprocessor that blends programming languages☆32Jun 8, 2023Updated 3 years ago
- ☆17Oct 22, 2023Updated 2 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 5 years ago
- A statically typed functional programming language.☆45Updated this week
- A statically-typed, functional typesetting system☆1,247Apr 12, 2026Updated 4 months ago
- A bibliography framework for SATySFi.☆23Jan 6, 2023Updated 3 years ago
- Rust reimplementation of subset of Erlang's xref☆15Nov 28, 2021Updated 4 years ago
- Embedded Erlang (EEl)☆36Feb 21, 2024Updated 2 years ago
- Dependency Updater for rebar3-based Erlang Projects☆21Aug 15, 2026Updated 2 weeks ago