finwe
Safety compiler
An experimental language for building stack-based programs with enforced safety features in a constrained environment.
A concatenative language for the Uxn VM with full compiler-enforced stack safety.
36 stars
2 watching
0 forks
Language: Zig
last commit: about 2 years agoLinked from 1 awesome list
concatenativestack-baseduxn
hundredrabbits/awesome-uxnRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ziglang/zig | A general-purpose programming language and toolchain for building robust, maintainable software | 35,396 |
 dundalek/liz | A Lisp-flavored programming language built on top of Zig, aiming to provide a lower-level alternative to Clojure with more direct access to hardware. | 268 |
| ziglang/zig-bootstrap | An open-source project to build a fully operational Zig compiler from scratch. | 396 |
 ys-zong/vlguard | Improves safety and helpfulness of large language models by fine-tuning them using safety-critical tasks | 47 |
 curtisfenner/zsmol | A compiler and reference implementation for a new programming language | 9 |
 kign/c4wa | A WebAssembly compiler from a simplified subset of C to Web Assembly | 24 |
 emekoi/log.zig | A cross-platform logging library for Zig that provides thread-safe logging capabilities. | 24 |
 kjnilsson/fez | An experiment in compiling F# to core Erlang | 280 |
 zigembeddedgroup/microzig | Unifies abstraction and hardware access for embedded systems using the Zig programming language | 1,282 |
 eeue56/derw | An Elm-inspired language that transpiles to TypeScript, designed for writing type-safe code with good productivity features | 378 |
 fengb/wazm | An experimental compiler and runtime for executing WebAssembly code in Zig | 116 |
| zigembeddedgroup/serial | A Zig language library for configuring and using serial ports | 63 |
 kprotty/zefi | An experimental Zig library implementing fibers for concurrency management | 38 |
 oudwins/zog | A Go library that provides runtime schema validation with Zod-inspired simplicity and expressiveness | 210 |
 ziglibs/zcom | A composable network protocol stack implemented in Zig. | 15 |