bolt
Bolt is a language with in-built data-race freedom! (by mukul-rathi)
illuaminate
Very WIP static analysis for Lua (by SquidDev)
Our great sponsors
| bolt | illuaminate | |
|---|---|---|
| 3 | 1 | |
| 526 | 49 | |
| - | - | |
| 0.0 | 7.7 | |
| 5 months ago | about 1 month ago | |
| OCaml | OCaml | |
| MIT License | BSD 3-clause "New" or "Revised" 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.
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.
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.)
What are some alternatives?
When comparing bolt and illuaminate you can also consider the following projects:
genType - Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
CC-Tweaked - Just another ComputerCraft fork
bap - Binary Analysis Platform
infer - A static analyzer for Java, C, C++, and Objective-C
language-server-protocol - Defines a common protocol for language servers.
semgrep - Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
ocaml-multicore - Multicore OCaml
middleclass - Object-orientation for Lua
pyre-check - Performant type-checking for python.