groupoid / axio
🧊 Методологія верифікації теорем
☆93Updated this week
Alternatives and similar repositories for axio:
Users that are interested in axio are comparing it to the libraries listed below
- Mutation checker for Erlang☆15Updated 2 years ago
- Set of helpers functions for more convenient functional programming in Erlang☆28Updated 5 years ago
- A collection of implementation details of Erlang's VM - BEAM☆40Updated 11 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Erlang lazy lists library.☆39Updated 7 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆18Updated 9 years ago
- A set of basic rebar3 templates for LFE applications.☆17Updated 6 years ago
- Erlang mutation testing tool☆16Updated 10 years ago
- Wrangler -- An Erlang Refactorer☆163Updated 2 months ago
- A side-effect analyzer for Erlang☆45Updated 4 years ago
- LFE ports of the Cowboy examples.☆19Updated 8 years ago
- Generate documentation for Erlang projects in the format of erldocs.com☆58Updated 4 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Experimental library to bring pipe and maybe operator equivalents in Erlang☆94Updated 2 years ago
- DEPRECATED - See:☆61Updated 9 years ago
- ivy-erlang-complete is context sensitive completion for erlang without connecting to erlang nodes.☆32Updated 2 months ago
- Futures implemented in Erlang☆58Updated 11 years ago
- A library that simplifies working with the Erlang abstract format.☆41Updated 2 years ago
- Lol — Lisp on erLang, and programming is fun again☆51Updated 10 years ago
- The LFE rebar3 compiler plugin☆14Updated 4 years ago
- Lens implementation in Erlang☆67Updated 9 years ago
- Erlang Parser Combinator library for Parser Expression Grammars ( PEG)☆12Updated 9 years ago
- LFE HTTP Server Abstraction and Web Application Middleware Infrastructure☆21Updated last year
- Common Test hooks for more readable logs☆49Updated last month
- A command-line utility for formatting Erlang code.☆22Updated 8 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 7 years ago
- An Erlang library for carefully refactoring critical paths☆17Updated 9 years ago
- Parse transform for parameterized modules☆51Updated 4 years ago
- Erlang Fuzzy String Matcher☆18Updated 10 years ago