wyvern
unseemly
Our great sponsors
wyvern | unseemly | |
---|---|---|
5 | 4 | |
551 | 128 | |
0.0% | - | |
0.0 | 0.0 | |
about 1 year ago | about 1 year ago | |
Java | Rust | |
GNU General Public License v3.0 only | MIT License |
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
- 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.
unseemly
-
Peridot: A functional language based on two-level type theory
Did you take a look at paul stansifer's unseemly? https://github.com/paulstansifer/unseemly cc /u/paul_stansifer
-
How do you typecheck a macro?
You could look at how https://github.com/paulstansifer/unseemly/ does it
-
Are there composable compilers?
Other projects not mentioned yet in this area are GraalVM and unseemly by Paul Stansifer https://github.com/paulstansifer/unseemly
- Thoughts on "Kirby" languages, a lang that can execute any other lang?
What are some alternatives?
rumi - The rumi compiler
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Pipefish - Source code for the Pipefish programming language
bitflags - A macro to generate structures which behave like bitflags
Hungaro - A syntax based programming language
aith - [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
ww - A "lexerless" (unified lexer) LALR(1) parser generator supporting dynamic grammar modification
bril - an educational compiler intermediate representation
Nemerle - Nemerle language. Main repository.
hackett - WIP implementation of a Haskell-like Lisp in Racket
passerine - A small extensible programming language designed for concise expression with little code.
dit-cli - The interface for dit, a universal container file.