urbanserj / hsnifLinks
Tool that allows to write Erlang NIF libraries in Haskell
☆25Updated 12 years ago
Alternatives and similar repositories for hsnif
Users that are interested in hsnif are comparing it to the libraries listed below
Sorting:
- Helpers for defining Elixir operators☆23Updated 3 years ago
- ☆19Updated 8 years ago
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- A type checker for Elixir☆33Updated 2 years ago
- Transform Erlang or Elixir data into Gleam data☆27Updated 2 years ago
- Elmer compiler☆12Updated 8 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆69Updated 5 years ago
- Erlang AST to Elixir AST☆20Updated 2 months ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 10 months ago
- Demonstration project for getting using gleam inside a mix/elixir project☆31Updated 4 years ago
- Type specification extensions for Elixir☆21Updated last year
- Allows for easy interop with Erlang records.☆26Updated last year
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Session Types in Elixir☆50Updated last year
- Typed Runtime configuration for Elixir/Erlang☆14Updated 7 years ago
- An Elixir Protocol for transforming arbitrary Elixir data structures.☆26Updated 8 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- library to handle mimetypes☆29Updated 2 months ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- ☆24Updated 2 months ago
- A quick demo CLI chat app for a workshop☆24Updated 7 years ago
- Basic exhaustiveness checking of unions in Elixir☆16Updated 6 years ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated 2 years ago
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated last year
- Compile Elixir statically☆34Updated 4 years ago
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- A Freer Monad implemented in elixir.☆32Updated 9 years ago
- An opinionated OTP framework wrapper☆26Updated 6 months ago