dfs-tools
Distributional Formal Semantics (DFS) tools (by hbrouwer)
language-incubator
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc. (by EarlGray)
dfs-tools | language-incubator | |
---|---|---|
1 | 2 | |
12 | 56 | |
- | - | |
0.0 | 5.6 | |
over 1 year ago | about 1 month ago | |
Prolog | Rust | |
Apache License 2.0 | 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.
dfs-tools
Posts with mentions or reviews of dfs-tools.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-04-29.
-
Ask HN: What are some interesting examples of Prolog?
DFS Tools [0] is a Prolog implementation of the Distributional Formal Semantics framework [1].
[0] https://github.com/hbrouwer/dfs-tools
language-incubator
Posts with mentions or reviews of language-incubator.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-05-13.
-
Jonesforth – A sometimes minimal FORTH compiler and tutorial (2007)
It was a lot of fun for me to reimplement this in MIPS assembler on CI20 [0]
JonesForth could be more straightforward in its interpreter part. I tried to make this part as clean as possible, hopefully did not miss anything.
Maybe I will make a RISCV version in my copious free time in the future.
[0] https://github.com/EarlGray/language-incubator/blob/29755c32...
-
Ask HN: What are some interesting examples of Prolog?
Not exactly a big codebase, but it was a revelation for me how natural typecheckers can feel in Prolog: I basically rewrote typing rules with some tweaks: [1]
Also, tests were surprisingly enjoyable in Prolog: [2].
[1] https://github.com/EarlGray/language-incubator/blob/29755c32...
What are some alternatives?
When comparing dfs-tools and language-incubator you can also consider the following projects:
libredwg - Official mirror of libredwg. With CI hooks and nightly releases. PR's ok