Our great sponsors
wyvern | rumi | |
---|---|---|
5 | 3 | |
551 | 59 | |
0.0% | - | |
0.0 | 0.0 | |
about 1 year ago | over 1 year ago | |
Java | C++ | |
GNU General Public License v3.0 only | GNU General Public License v3.0 or later |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
wyvern
Posts with mentions or reviews of wyvern.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-07-21.
- Wyvern: A Language for Usable Design Driven Assurance (2017)
-
Languages with extensible syntax?
Nemerle, Wyvern, Kernel
-
Are there composable compilers?
Take a look at Wyvern.
- Extensible syntax?
-
Capability systems
Check out Wyvern! It has capabilities and a notion of capability saftey, as detailed in this paper. I believe Wyvern's approach is basically exactly what you're describing.
rumi
Posts with mentions or reviews of rumi.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-06-06.
-
Extensible syntax?
Yes, with rumi, here is an extreme example (look at other tests, they are nicer): https://github.com/MCSH/rumi/blob/master/tests/test8.rum
-
Zero-cost abstractions and "meta programming"
I've written a proof of concept programming language explicitly for this purpose called rumi. Take a look https://github.com/mcsh/rumi . The thing that makes this possible is a macro language that is basically the language itself, and can communicate with the compiler to define macros / query syntax / change the generated code etc. Basically you have the power to write an entirely new programming language with the macros.
-
February 2021 monthly "What are you working on?" thread
Here is the code to rumi: https://github.com/MCSH/rumi
What are some alternatives?
When comparing wyvern and rumi you can also consider the following projects:
Pipefish - Source code for the Pipefish programming language
karuta - Karuta HLS Compiler: High level synthesis from prototype based object oriented script language to RTL (Verilog) aiming to be useful for FPGA development.
unseemly - Macros have types!
pika - A WIP little dependently-typed systems language
Hungaro - A syntax based programming language
passerine - A small extensible programming language designed for concise expression with little code.
ww - A "lexerless" (unified lexer) LALR(1) parser generator supporting dynamic grammar modification
lisp - A lisp JIT compiler and interpreter built with cranelift.
Nemerle - Nemerle language. Main repository.
bread - An expression based scripting language