unseemly
bril
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.
unseemly
-
Cognition: The Revolutionary Antisyntax Language Redefining Metaprogramming
There’s another project that goes the other direction, but I don’t remember if it has balanced brace requirements https://github.com/paulstansifer/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?
bril
-
Bril: A Compiler Intermediate Representation for Learning
Seems to be part of this course, and an implementation is here.
-
Easy intermediate codes that have an interpreter
Cornell has Bril IR which they use for their compilers course. It comes with a bunch of tools, including an interpreter.
What are some alternatives?
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
sml-compiler - A compiler for Standard ML, somewhat
bitflags - A macro to generate structures which behave like bitflags
koto - A simple, expressive, embeddable programming language, made with Rust
aith - [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
tao - A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
hackett - WIP implementation of a Haskell-like Lisp in Racket
progge.rs - Program analysis playground for a simple, imperative language
dit-cli - The interface for dit, a universal container file.
tao - The TAO of cross-platform windowing. A library in Rust built for Tauri.
klister - an implementation of stuck macros
gleam - ⭐️ A friendly language for building type-safe, scalable systems!