josevalim / nested-map-reduce-traversalLinks
☆33Updated 2 years ago
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
Sorting:
- Session Types in Elixir☆48Updated 2 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆68Updated 4 years ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- A type checker for Elixir☆34Updated 2 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- Erlang code generator for Idris 2☆143Updated 2 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Updated 5 years ago
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- Parameterized modules for Elixir☆68Updated 5 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 12 years ago
- Compile Elixir statically☆34Updated 5 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆114Updated 3 years ago
- Cure language compiling to BEAM with FSM primitives and Dependent types☆86Updated last month
- Examples showing mechanisms of `Maybe` monad and `do-notation`.☆14Updated 2 years ago
- Helpers for defining Elixir operators☆23Updated 4 years ago
- ReVault is a peer-to-peer self-hosted file synchronization project.☆57Updated 4 months ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated last year
- Allows for easy interop with Erlang records.☆25Updated 2 years ago
- ☆32Updated this week
- Demonstration project for getting using gleam inside a mix/elixir project☆30Updated 4 years ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated 2 years ago
- Choreographic programming in Elixir☆28Updated 3 months ago
- Typed Runtime configuration for Elixir/Erlang☆14Updated 7 years ago
- New data types with real encapsulation. Create smart constructors, private and immutable fields, sum types and many other fun things. Ins…☆39Updated 5 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 5 years ago
- ☆20Updated 3 years ago
- Sequencer built with Phoenix LiveView.☆21Updated last year
- ☆19Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- ☆32Updated 4 years ago