illuaminate
Very WIP static analysis for Lua (by SquidDev)
bolt
Bolt is a language with in-built data-race freedom! (by mukul-rathi)
illuaminate | bolt | |
---|---|---|
1 | 3 | |
49 | 529 | |
- | - | |
7.7 | 0.0 | |
about 2 months ago | 6 months ago | |
OCaml | OCaml | |
BSD 3-clause "New" or "Revised" License | MIT License |
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.
illuaminate
Posts with mentions or reviews of illuaminate.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-31.
-
Is there a way to create namespaces/hierarchy in the documentation with LDoc?
LDoc isn't really meant for this, but you can generate on each file individually and then hack in links with some post-processing. Alternatively, if you have the time to dig into an even less documented format, illuaminate natively supports multi-file docs. (See here for an example config file.)
bolt
Posts with mentions or reviews of bolt.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-11.
- I wrote my own “proper” programming language
- Communicating between parts of a compiler written in a different languages.
-
How to implement variable shadowing in different scopes with the LLVM API during the codegen phase?
Right now I'm in the codegen phase of my language (it's a university project). We use the LLVM API for this. For this I use several repositories (this and this as well as kaledoscope) for inspiration, who also use LLVM as codegen.
What are some alternatives?
When comparing illuaminate and bolt you can also consider the following projects:
CC-Tweaked - Just another ComputerCraft fork
genType - Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
infer - A static analyzer for Java, C, C++, and Objective-C
bap - Binary Analysis Platform
semgrep - Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
language-server-protocol - Defines a common protocol for language servers.