giuseppemag / ballerina
☆44Updated this week
Alternatives and similar repositories for ballerina:
Users that are interested in ballerina are comparing it to the libraries listed below
- Run erlang as a WASI http server (vapourware)☆26Updated 5 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 11 months ago
- the origins of J☆62Updated last year
- The Coil Programming Language☆34Updated last year
- A small language that compiles to WebAssembly Text format☆74Updated 11 months ago
- ☆16Updated last year
- Reference counting with linear types☆31Updated 9 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A simple Web Assembly Interpreter☆16Updated last year
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated 2 weeks ago
- A small, weird and unpractical programming language.☆103Updated this week
- Text Adventure game in SWI Prolog.☆88Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- 🪄 Tiny challenges for learning WebAssembly☆69Updated 3 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- ☆37Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Collaborative Lisp coding on Discord☆34Updated last year
- ☆89Updated 6 months ago
- miniKanren for JavaScript☆26Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 4 months ago
- Programming language for ternary computing☆30Updated 4 years ago
- The no-framework framework for building component-based purely-functional UIs.☆124Updated 3 months ago
- Mini elm-inspired utilities for Ocaml CLI applications☆75Updated 5 months ago
- A slow link aggregator built with Gleam☆44Updated last month
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 6 months ago
- Persistence of concurrent activities for Gerbil Scheme☆50Updated 6 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 6 months ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago