trealla-prolog / goLinks
Trealla Prolog embedded in Go using WASM
☆79Updated 2 weeks ago
Alternatives and similar repositories for go
Users that are interested in go are comparing it to the libraries listed below
Sorting:
- A Prolog library to connect to PostgreSQL databases☆98Updated last year
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- PostgreSQL Prolog language handler☆134Updated last year
- Zig library for HyperLogLog estimation☆89Updated 10 months ago
- ☆58Updated 3 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆67Updated 2 years ago
- Golang implementation of Concise Binary and Text Encoding☆30Updated last year
- pgpkg is a small, fast CLI tool and Go library that enables seamless integration of PostgreSQL functions into native code workflows. It i…☆25Updated last month
- Omnino is a windowing system for web applications.☆57Updated 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
- A note-keeping web app based on Fossil SCM☆67Updated last year
- 🐝 Wasp : Wasm programming language☆113Updated last month
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- ☆41Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 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…☆56Updated this week
- The Coil Programming Language☆34Updated last year
- Graph-based Declarative Configuration Language☆135Updated 4 years ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- various predicates for ichiban/prolog☆15Updated 2 years ago
- Readable macroassembler for CLR IL☆27Updated last year
- An interpreter of subset of Python in Go☆50Updated 2 years ago
- APL interpreter and stream processor☆132Updated 4 years ago
- Benign remote code execution☆111Updated 2 months ago
- A minimal stack based programming language☆32Updated last year
- Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on …☆44Updated last week