josevalim / nested-map-reduce-traversal
☆32Updated last year
Alternatives and similar repositories for nested-map-reduce-traversal:
Users that are interested in nested-map-reduce-traversal are comparing it to the libraries listed below
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- Session Types in Elixir☆48Updated last year
- Tool that allows to write Erlang NIF libraries in Haskell☆26Updated 11 years ago
- ☆32Updated 3 years ago
- ☆20Updated 2 years ago
- A type checker for Elixir☆33Updated last year
- A pipe-macro for Elixir that allows bare function captures☆45Updated 4 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 4 months ago
- Allows for easy interop with Erlang records.☆26Updated last year
- Erlang code generator for Idris 2☆141Updated last year
- Compile Elixir statically☆34Updated 4 years ago
- Sandboxable Mix (Elixir) project Nix evaluator☆16Updated 3 weeks ago
- Parameterized modules for Elixir☆69Updated 4 years ago
- A tool for composing and executing workflows at runtime for Elixir.☆40Updated last year
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 4 years ago
- ☆23Updated 3 years ago
- Elixir functional programming foundation☆16Updated 4 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆126Updated 3 years ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated last year
- WiFi networking for VintageNet☆32Updated last week
- Erlang to PureScript transpiler. Run Erlang in the browser!☆113Updated 2 years ago
- ☆32Updated last week
- Tagged unions for Elixir. Just that.☆42Updated 9 months ago
- Core runtime of Erlscripten - ERTS emulation☆15Updated 2 years ago
- Automatic dependency recompilation for Mix.install/2☆23Updated 10 months ago
- New data types with real encapsulation. Create smart constructors, private and immutable fields, sum types and many other fun things. Ins…☆39Updated 4 years ago
- (Semi-)principled type classes for Elixir☆138Updated 2 years ago
- Transform Erlang or Elixir data into Gleam data☆27Updated 2 years ago