vrnithinkumar / ETC
ETC
☆17Updated 3 years ago
Related projects: ⓘ
- Master thesis on developing a static type checker for Erlang☆27Updated 5 years ago
- 🧊 Типізоване -גчислення☆15Updated 6 months ago
- ☆9Updated this week
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 6 months ago
- Supervised Session Actors☆22Updated 8 years ago
- Core runtime of Erlscripten - ERTS emulation☆16Updated 2 years ago
- Haskell / Erlang interoperability library☆29Updated last year
- A code-generator for Idris that targets Elixir☆64Updated 6 years ago
- Communicate with Erlang node from Haskell☆12Updated 3 years ago
- Static typechecker for Erlang☆45Updated this week
- ☆23Updated 3 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆12Updated 2 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆14Updated 3 weeks ago
- N2O: Application Server☆10Updated last year
- Erlang code generator for Idris 2☆141Updated 10 months ago
- A simple OCaml library for writing Erlang port drivers☆43Updated 4 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- A simple parser combinator package written in Gleam.☆17Updated 2 years ago
- 🧊 Чиста система з всесвітами☆144Updated 2 months ago
- Tool that allows to write Erlang NIF libraries in Haskell☆26Updated 11 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang☆14Updated last year
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆35Updated 2 years ago
- ☆31Updated last year
- Skeleton app with contrived client/server examples☆19Updated last year
- jsone bindings for the Gleam language☆18Updated last year
- Erlang port of the Shen programming language☆25Updated 4 years ago
- Elmer compiler☆12Updated 7 years ago