erwasm / erwasm-http
Run erlang as a WASI http server (vapourware)
☆26Updated 5 months ago
Alternatives and similar repositories for erwasm-http:
Users that are interested in erwasm-http are comparing it to the libraries listed below
- ☆41Updated last year
- Archive of the forked repository - use the repo linked below☆112Updated 3 months ago
- Omnino is a windowing system for web applications.☆57Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Social timeboxing for IRC channels☆17Updated 7 months ago
- Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…☆87Updated this week
- Proof of concept React-ish UI library, powered by WebAssembly☆12Updated 3 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Topological sort library in Zig☆91Updated 3 weeks ago
- A Zig library to idiomatically communicate with other BEAM nodes☆42Updated last week
- ☆53Updated 4 months ago
- Fun with wgpu: Simulating slime mold☆24Updated 8 months ago
- A slow link aggregator built with Gleam☆45Updated last month
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated 11 months ago
- Parser combinator library for Elixir☆12Updated 4 months ago
- Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on …☆44Updated this week
- A toy programming language I wrote in late 2022☆23Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 4 months ago
- A bibliography for protocol design☆35Updated 2 weeks ago
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 7 months ago
- Plot Cookbook☆50Updated 2 years ago
- a very (x 10) basic wasm console☆21Updated 9 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 3 months ago
- Reference counting with linear types☆31Updated 9 months ago
- ☆16Updated last year
- For hosting ATS3 and developing CodeDepot☆13Updated this week
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A new data-transfer language that has stricter typing yet more flexible syntax.☆17Updated 2 weeks ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago