Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/Jackojc/klaxon
Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
https://github.com/Jackojc/klaxon
based-stack-based-language compiler concatenative cpp forth klaxon language minimal minimalist native proglangs-discord programming-language reverse-polish-notation rpn stack-based-language stack-language static-typing
Last synced: 3 months ago
JSON representation
Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
- Host: GitHub
- URL: https://github.com/Jackojc/klaxon
- Owner: Jackojc
- License: mpl-2.0
- Created: 2021-10-19T20:37:33.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2022-10-10T16:17:01.000Z (almost 2 years ago)
- Last Synced: 2024-01-25T16:14:50.359Z (6 months ago)
- Topics: based-stack-based-language, compiler, concatenative, cpp, forth, klaxon, language, minimal, minimalist, native, proglangs-discord, programming-language, reverse-polish-notation, rpn, stack-based-language, stack-language, static-typing
- Language: C++
- Homepage:
- Size: 190 KB
- Stars: 19
- Watchers: 3
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- Funding: .github/FUNDING.yml
- License: LICENSE
Lists
- awesome-programming-languages - Klaxon - Minimalist RPN language that compiles to x86-64 assembly (Uncategorized / Uncategorized)
README
# Klaxon
Klaxon is a minimalist language designed to be minimal, modular and simple to implement.
[](./LICENSE)
[](https://github.com/Jackojc/klaxon/issues)
[](https://discord.gg/H2qKkSd9gC)
### Philosophy & Goals
- Bare minimum of features needed to perform useful computation
- Features that compose [^1]
- Do not appeal to niche use cases [^2]
- Minimise configurability [^3]
- Modular pipeline built on top of Unix pipes with a standard IR format
[^1]: Features should not be very specific, they should compose well with other
features and give rise to emergent features.
[^2]: Klaxon is not designed to appeal to everyone's own particular needs, it is
designed to do as much as possible with the smallest surface area. This means your
feature request will most likely not be considered.
[^3]: Every flag that you introduce into a compiler in order to influence its
behaviour results in a combinatorial explosion that makes it virtually impossible
to properly bug test all possible paths of execution. Having one right way to
do something means that the compiler should (in theory) have less broken edge cases.
### Features:
- Register Allocation
- Procedures
- Macros
- Compiles to x86-64 assembly
### Semantics:
- Word Size Values
- UTF-8 Source Encoding
- Two's Complement Signed Arithmetic
### License
This project uses the MPL-2.0 license. (check [LICENSE](LICENSE))
### Progress & Discussion
You can join the discord server in order to follow progress and/or contribute to discussion of the project. (https://discord.gg/H2qKkSd9gC)
### Resources:
- https://blog.rchapman.org/posts/Linux_System_Call_Table_for_x86_64/
- https://www.nasm.us/xdoc/2.13.03/html/nasmdoc0.html
- https://filippo.io/linux-syscall-table/
- https://www.felixcloutier.com/x86/
- https://www.youtube.com/watch?v=-ti07Z0xKKg
- https://flint.cs.yale.edu/cs421/papers/x86-asm/asm.html
- https://www3.nd.edu/~dthain/compilerbook/compilerbook.pdf
- https://min-lang.org/
- http://sovietov.com/app/forthwiz.html
- https://mcyoung.xyz/2021/06/01/linker-script/
- https://leahneukirchen.org/blog/archive/2020/04/brute-forthing-minimal-programs-for-stack-arrangements.html
- https://users.ece.cmu.edu/~koopman/stack_computers/appb.html
- https://courses.cs.washington.edu/courses/cse501/15sp/papers/massalin.pdf
- https://www.complang.tuwien.ac.at/forth/gforth/Docs-html/
- https://uica.uops.info/
- https://users.ece.cmu.edu/~koopman/stack_compiler/stack_co.html