欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Erlang VM
来自开放百科 - 灰狐
Erlang VM: Erlang虚拟机、运行时、编译器、BEAM。
目录 |
简介
功能
项目
VM
- AtomVM Tiny Erlang VM
- Enigma VM An Erlang VM implementation in Rust
- RT: Erlang Runtime Library
Lanauages
- Languages, and about languages, on the BEAM
- Elixir programming language
- Visualixir is a toy visualizer for BEAM nodes, written in Elixir + Phoenix + d3
- Alpaca Functional programming inspired by ML for the Erlang VM
- Erjang A JVM-based Erlang VM
- Lisp Flavoured Erlang (LFE)
- Joxa A Modern Lisp for the Erlang VM
- clojerl Clojure implemented on the Erlang VM.
- ePHP PHP Interpreter in pure Erlang
- efene
- Gleam A statically typed language for the Erlang VM
- erl2
- Hamler Haskell-style functional programming language
- Luerl Lua in Erlang
- Erlog Prolog for an Erlang Application
文档
- News From the OTP Team
- VM features in OTP 20
- DevOps' Swiss Army knife for the BEAM
- Think Outside the VM Unobtrusive Performance Measurement
- Create Your Own Language: How to implement a language on top of Erlang Virtual Machine (BEAM)
- Recovering Erlang AST from BEAM bytecode
- The BEAM community and efene
- Rethinking the Language Runtime for Scale: Designing and Evaluating a Distributed Computing Language Runtime Tutorial: Antidote Tutorial: CRDTs
- A Status Update of BEAMJIT, the Just-in-Time Compiling Abstract Machine
图集
链接
分享您的观点