cranelift
ferret
cranelift | ferret | |
---|---|---|
5 | 8 | |
2,493 | 1,057 | |
- | - | |
0.1 | 0.0 | |
almost 4 years ago | over 1 year ago | |
Makefile | ||
- | 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.
cranelift
-
Are there any static single assignment based languages that are higher level than IR? (expected to be written by your average programmer)?
(And then I'd turn them into normal BBs internally, since cranelift found out they're not that great for optimizing: https://github.com/bytecodealliance/cranelift/issues/796.)
-
Minecraft running on a redstone CPU/GPU implemented in Minecraft, running on a custom Minecraft server (written in Rust) capable of performing redstone calculations 10,000x faster than vanilla Minecraft
I was joking but thats almost what they are doing. Instead of using LLVM they're using cranelift for JITting
-
Replacing default codegen in rustc
Replace it with what, and why? There are codegen backends using Cranelift and GCC, but they are not feature complete yet.
-
Learning Clojure made me return back to C/C++
Thanks for taking the time to provide a detailed response. Need to think on this. I had actually started a regular Clojure parser using LLVM as a hobby, but then my friend said it was better to implement this in a safe-memory and. save-concurrency language like Rust and leverage cranelift for code generation. So, now I am learning rust, lol. (Btw, Rust has a persistent data structures lib too: https://github.com/orium/rpds )
- Open Discussion: To EBB or not to EBB
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?
entt - Gaming meets modern C++ - a fast and reliable entity component system (ECS) and much more
janet - A dynamic language and bytecode vm
moodycamel - A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
ulisp - A version of the Lisp programming language for ATmega-based Arduino boards.
rust - Empowering everyone to build reliable and efficient software.
Carp - A statically typed lisp, without a GC, for real-time applications.
rust - Rust for the xtensa architecture. Built in targets for the ESP32 and ESP8266
Lua-RTOS-ESP32 - Lua RTOS for ESP32
Taskflow - A General-purpose Parallel and Heterogeneous Task Programming System
etaoin - Pure Clojure Webdriver protocol implementation
pest - The Elegant Parser
Fennel - Lua Lisp Language