groupoid / axioLinks
🧊 Методологія верифікації теорем
☆93Updated 4 months ago
Alternatives and similar repositories for axio
Users that are interested in axio are comparing it to the libraries listed below
Sorting:
- Lol — Lisp on erLang, and programming is fun again☆51Updated 11 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- SICP, the LFE Edition☆125Updated last year
- A set of basic rebar3 templates for LFE applications.☆17Updated 7 years ago
- Mutation checker for Erlang☆15Updated 3 years ago
- Wrangler -- An Erlang Refactorer☆163Updated 11 months ago
- Parsec-style parsing for Erlang☆33Updated 14 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆17Updated 10 years ago
- Erlang mutation testing tool☆16Updated 11 years ago
- A Testing Framework for LFE (successor to lfeunit)☆37Updated 11 months ago
- an experimental programming language for the erlang vm that is actually useful☆29Updated 6 years ago
- a new dialect of erlang☆164Updated 10 years ago
- Markup Language Expressions for LFE☆35Updated 2 years ago
- LFE ports of the Cowboy examples.☆19Updated 8 years ago
- Static site generator using Erlang. Yes, Erlang.☆124Updated 5 years ago
- Exercism exercises in Lisp Flavoured Erlang (LFE).☆25Updated last month
- Turn a Prolog File into a Gen Server☆21Updated 11 years ago
- The LFE rebar3 compiler plugin☆14Updated 5 years ago
- Generate documentation for Erlang projects in the format of erldocs.com☆59Updated 5 years ago
- Relational programming in Elixir☆80Updated 8 years ago
- pure functional and generic programming for Erlang☆126Updated 5 months ago
- ivy-erlang-complete is context sensitive completion for erlang without connecting to erlang nodes.☆31Updated 10 months ago
- Futures implemented in Erlang☆57Updated 12 years ago
- Format Erlang code using Emacs' erlang-mode☆46Updated 5 months ago
- WebDriver implementation in Erlang☆42Updated 10 years ago
- ☆17Updated 2 years ago
- DEPRECATED (use lfex/lanes instead)☆37Updated 6 years ago
- A side-effect analyzer for Erlang☆46Updated 4 years ago
- Erlang Design by Contract☆23Updated 7 years ago