MicroHs
ferret
MicroHs | ferret | |
---|---|---|
2 | 8 | |
241 | 1,057 | |
- | - | |
9.9 | 0.0 | |
17 days ago | over 1 year ago | |
Haskell | Makefile | |
GNU General Public License v3.0 or later | BSD 2-clause "Simplified" 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.
MicroHs
-
How to Write a (Lisp) Interpreter (In Python)
> expand into lambda calculus statement that could then be compiled down to different sets of combinators
This approach can be reasonably efficient for implementing Haskell, as shown in [1] and the much more concise [2].
[1] https://github.com/augustss/MicroHs
[2] https://crypto.stanford.edu/~blynn/compiler/
- MicroHs: Haskell Implemented with Combinators
ferret
- How to Write a (Lisp) Interpreter (In Python)
-
Ferret: A functional, lazy language for realtime embedded control systems
Seems like there has been no development since 2020 - https://github.com/nakkaya/ferret
-
Literate programming: Knuth is doing it wrong
The whole of ferret's source code is in a single org-mode file, following the literate programming style: https://github.com/nakkaya/ferret/blob/master/ferret.org
- Clojure – Differences with Other Lisps
-
Learning Clojure made me return back to C/C++
fyi there's some middle ground via ferret if you want to mix the two in the future. I think janet lang is more full featured, borrowing ideas from clojure while targeting simple embedding alongside c.
-
uLisp
Another commenter already mentioned Gambit Scheme. That provides for inline C and therefore very easy interop with external libraries. It still has a runtime and GC though - those might pose a problem depending on your platform and task.
Ferret (https://github.com/nakkaya/ferret) and Carp (https://github.com/carp-lang/Carp) are both Lisp-like low level languages. Both seem to be fairly experimental in nature though.
> anything but C
Taking you literally, Rust and D can both compile for bare metal. D in particular has a "Better C" subset. (https://dlang.org/spec/betterc.html)
In the same vein, Terra is a C like language (manual memory management) that you metaprogram with Lua. (https://github.com/terralang/terra)
Taking you very literally, Forth is also an option.
-
Writing a whole program in Org Mode
Impressive. Wonder how the performance in Emacs will be with a file this big... org source file
What are some alternatives?
hy - A dialect of Lisp that's embedded in Python
janet - A dynamic language and bytecode vm
fe - A tiny, embeddable language implemented in ANSI C
ulisp - A version of the Lisp programming language for ATmega-based Arduino boards.
fakelisp - Lisp as a Python module (don't take it seriously though)
Carp - A statically typed lisp, without a GC, for real-time applications.
beflisp - Lisp implementation in Befunge
Lua-RTOS-ESP32 - Lua RTOS for ESP32
bflisp - C compiler and Lisp interpreter in Brainfuck
etaoin - Pure Clojure Webdriver protocol implementation
Fennel - Lua Lisp Language
joker - Small Clojure interpreter, linter and formatter.