llaisdy / beam_languages Goto Github PK
View Code? Open in Web Editor NEWLanguages, and about languages, on the BEAM
Languages, and about languages, on the BEAM
While not a separate language, Gradualizer seems to be in the scope of this list of projects. It's a gradual typing system and static code analysis tool for Erlang.
It works blazingly fast in comparison with Dialyzer. The type system, IMHO, also seems more intuitive to work with - it's based on the following paper, which extends simply typed lambda calculus - http://scheme2006.cs.uchicago.edu/13-siek.pdf.
Great content, please give luerl https://luerl.org https://github.com/rvirding/luerl some love (=
https://github.com/kapok-lang/kapok
I also noticed that Clojerl moved to its own org.
Thanks :)
Brief description of the language & why it's interesting.
https://github.com/rufus-lang/rufus
Not sure what is the status of the project but it was posted on erlangforums: https://erlangforums.com/t/rufus-have-you-used-it/175
https://github.com/alpaca-lang/alpaca
Recently renamed from MLFE
They abandoned this project and started anew I think but the repo can be added to the "Erlang and Types" section: https://github.com/whatsapp/erlt
https://github.com/lenary/idris-erlang
Work I did a while ago, people are still interested, but nothing is mature enough yet, and my codebase was research-only.
Hi? do you know where can I find something about BEAM for add another lang in your list)
It's an exciting new project that compiles plain OCaml to Erlang: https://github.com/AbstractMachinesLab/caramel
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.