groupoid / axioLinks
🧊 Методологія верифікації теорем
☆93Updated 2 weeks ago
Alternatives and similar repositories for axio
Users that are interested in axio are comparing it to the libraries listed below
Sorting:
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆18Updated 9 years ago
- Erlang mutation testing tool☆16Updated 10 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Wrangler -- An Erlang Refactorer☆164Updated 4 months ago
- Turn a Prolog File into a Gen Server☆22Updated 10 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- An example of the most minimal shell you can write on erlang.☆10Updated 9 years ago
- Set of helpers functions for more convenient functional programming in Erlang☆28Updated 6 years ago
- A set of basic rebar3 templates for LFE applications.☆17Updated 6 years ago
- The LFE rebar3 compiler plugin☆14Updated 4 years ago
- Mutation checker for Erlang☆15Updated 2 years ago
- LFE ports of the Cowboy examples.☆19Updated 8 years ago
- Lol — Lisp on erLang, and programming is fun again☆51Updated 10 years ago
- A side-effect analyzer for Erlang☆45Updated 4 years ago
- Futures implemented in Erlang☆58Updated 11 years ago
- Generate documentation for Erlang projects in the format of erldocs.com☆59Updated 4 years ago
- Lens implementation in Erlang☆67Updated 9 years ago
- search erlang & efene code by structure by providing expressions with "holes"☆15Updated 3 years ago
- A metaprogramming library for Erlang.☆17Updated 2 years ago
- Erlang Slack REST API wrapper☆57Updated 3 years ago
- DEPRECATED - See:☆61Updated 9 years ago
- erlang driver for rethinkdb☆28Updated 9 years ago
- Erlang lazy lists library.☆39Updated 8 years ago
- DEPRECATED (use lfex/lanes instead)☆37Updated 6 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Updated 5 years ago
- Markup Language Expressions for LFE☆35Updated last year
- Code samples from the Handbook of Neuroevolution through Erlang in both Erlang and Elixir☆34Updated 11 years ago
- Erlang Fuzzy String Matcher☆18Updated 10 years ago
- [UNMAINTAINED] The Concurrent Schemer☆119Updated 9 years ago