josevalim / nested-map-reduce-traversal
☆31Updated last year
Related projects ⓘ
Alternatives and complementary repositories for nested-map-reduce-traversal
- A type checker for Elixir☆33Updated last year
- Session Types in Elixir☆48Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Transform Erlang or Elixir data into Gleam data☆26Updated last year
- A code-generator for Idris that targets Elixir☆64Updated 6 years ago
- Allows for easy interop with Erlang records.☆26Updated last year
- Helpers for defining Elixir operators☆23Updated 3 years ago
- ☆32Updated 2 years ago
- Core runtime of Erlscripten - ERTS emulation☆15Updated 2 years ago
- Documentation of Hamler☆77Updated last year
- A pipe-macro for Elixir that allows bare function captures☆45Updated 4 years ago
- Elixir functional programming foundation☆16Updated 4 years ago
- Tree-sitter Grammar for Erlang☆81Updated 2 weeks ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 4 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆67Updated 5 years ago
- Parameterized modules for Elixir☆69Updated 4 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆26Updated 11 years ago
- Demonstration project for getting using gleam inside a mix/elixir project☆31Updated 3 years ago
- Riak is a decentralized datastore from Basho Technologies.☆29Updated this week
- Naively-evaluated Datalog, implemented in Elixir☆30Updated last month
- ☆23Updated 3 years ago
- ☆31Updated last week
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated last year
- 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
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated 6 months ago
- ☆19Updated 7 years ago
- (Semi-)principled type classes for Elixir☆140Updated 2 years ago
- Elmer compiler☆12Updated 8 years ago
- Static typechecker for Erlang☆49Updated this week
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago