trealla-prolog / go
Trealla Prolog embedded in Go using WASM
☆79Updated this week
Alternatives and similar repositories for go:
Users that are interested in go are comparing it to the libraries listed below
- A Prolog library to connect to PostgreSQL databases☆97Updated 10 months ago
- Zig library for HyperLogLog estimation☆89Updated 8 months ago
- PostgreSQL Prolog language handler☆132Updated 11 months ago
- ☆58Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆66Updated 2 years ago
- 🐝 Wasp : Wasm programming language☆113Updated 2 weeks ago
- A Unikernel running WebAssembly code☆50Updated last year
- Golang implementation of Concise Binary and Text Encoding☆30Updated last year
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- A compact, efficient Prolog interpreter written in plain-old C.☆289Updated this week
- A small language that compiles to WebAssembly Text format☆74Updated 10 months ago
- ☆41Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- Steampipe SQLite is a zero-ETL engine for SQLite. Virtual tables translate queries into live API calls for cloud services and APIs. Hundr…☆55Updated last month
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Omnino is a windowing system for web applications.☆57Updated last year
- A datalog prover and interpreter in Go.☆35Updated 9 years ago
- Run erlang as a WASI http server (vapourware)☆26Updated 4 months ago
- Simple, general, human-sympathetic binary data format☆107Updated last year
- Prolog Home Page☆71Updated 2 weeks ago
- A headless spreadsheet document container service.☆106Updated last month
- The Coil Programming Language☆34Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on …☆41Updated last week
- Cell compiler☆113Updated last year
- Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strin…☆17Updated last year
- Trealla Prolog for the web☆47Updated last week
- Demo of a WAM Prolog implementation in Python☆77Updated last year