urbanserj / hsnifLinks
Tool that allows to write Erlang NIF libraries in Haskell
☆25Updated 11 years ago
Alternatives and similar repositories for hsnif
Users that are interested in hsnif are comparing it to the libraries listed below
Sorting:
- ☆19Updated 8 years ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- Elmer compiler☆12Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- An Elixir Protocol for transforming arbitrary Elixir data structures.☆26Updated 8 years ago
- A Freer Monad implemented in elixir.☆32Updated 9 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆69Updated 5 years ago
- Erlang AST to Elixir AST☆20Updated this week
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- A type checker for Elixir☆33Updated 2 years ago
- Elixir Extended Protocol☆49Updated last year
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 8 months ago
- Documentation of Erlang Abstract Format☆29Updated 6 years ago
- Uniform low-level tcp, tcp/tls and unix socket interface☆20Updated 6 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Learning how to build a language on the BEAM☆25Updated 8 years ago
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated last year
- Allows for easy interop with Erlang records.☆26Updated last year
- A library that simplifies working with the Erlang abstract format.☆41Updated 2 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 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
- library to handle mimetypes☆28Updated last week
- Backtracking behaviour to solve discrete problems by brute force☆26Updated 8 years ago
- Relational programming in Elixir☆81Updated 7 years ago
- Typed Runtime configuration for Elixir/Erlang☆14Updated 7 years ago
- Monadic HTTP application composition for plug and friends.☆15Updated 8 years ago
- Session Types in Elixir☆50Updated last year