groupoid / monography
🧊 Перша формальна система
☆92Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for monography
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- Erlang flavored by Some ML☆36Updated 12 years ago
- Erlang mutation testing tool☆16Updated 10 years ago
- ivy-erlang-complete is context sensitive completion for erlang without connecting to erlang nodes.☆31Updated 3 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Wrangler -- An Erlang Refactorer☆165Updated last month
- The LFE rebar3 compiler plugin☆14Updated 4 years ago
- pure functional and generic programming for Erlang☆124Updated last year
- A collection of implementation details of Erlang's VM - BEAM☆40Updated 11 years ago
- A side-effect analyzer for Erlang☆45Updated 3 years ago
- DEPRECATED - See:☆61Updated 8 years ago
- Erlang lazy lists library.☆39Updated 7 years ago
- Mutation checker for Erlang☆15Updated 2 years ago
- Futures implemented in Erlang☆58Updated 11 years ago
- Generate documentation for Erlang projects in the format of erldocs.com☆58Updated 4 years ago
- Erlang web playground http://tryerl.seriyps.ru/☆33Updated last month
- Generic Zipper implementation in Erlang☆35Updated last year
- search erlang & efene code by structure by providing expressions with "holes"☆15Updated 3 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆18Updated 9 years ago
- Common Test hooks for more readable logs☆49Updated 8 months ago
- Set of helpers functions for more convenient functional programming in Erlang☆28Updated 5 years ago
- [UNMAINTAINED] The Concurrent Schemer☆119Updated 9 years ago
- Code Utilities for Erlang☆17Updated last month
- Erlang advanced project manager☆30Updated 2 years ago
- A set of basic rebar3 templates for LFE applications.☆17Updated 6 years ago
- Lol — Lisp on erLang, and programming is fun again☆51Updated 10 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 7 years ago
- A metaprogramming library for Erlang.☆16Updated last year
- Wrapper around lager logger which limits the volume of info messages irrespectively of the lager's backend☆26Updated 4 years ago