Trealla Prolog embedded in Go using WASM
☆82Dec 24, 2025Updated 2 months ago
Alternatives and similar repositories for go
Users that are interested in go are comparing it to the libraries listed below
Sorting:
- A compact, efficient Prolog interpreter written in plain old C.☆342Updated this week
- The only reasonable scripting engine for Go.☆707Jan 31, 2026Updated last month
- Advanced support for working with RDF in Prolog.☆19Aug 31, 2024Updated last year
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Trealla Prolog for the web☆56Dec 26, 2025Updated 2 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Feb 5, 2020Updated 6 years ago
- A fork of rogpeppe/go-internal/testscript with less dependencies☆16May 21, 2020Updated 5 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 6 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- various predicates for ichiban/prolog☆15Sep 25, 2022Updated 3 years ago
- The SWI-Prolog HTTP server and client libraries☆27Feb 22, 2026Updated last week
- Pengine and Prolog scratchpad☆59Sep 8, 2025Updated 5 months ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- Go bindings to the Wren scripting language.☆22Jul 13, 2020Updated 5 years ago
- Prolog Reverse Proxy☆20Feb 24, 2018Updated 8 years ago
- Minimal GUI in Go initially based on https://github.com/faiface/gui☆11Mar 1, 2020Updated 6 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- NeWS clone (very work in progress).☆11Oct 25, 2016Updated 9 years ago
- TUS protocol for resumable file uploads via HTTP☆14Feb 16, 2026Updated 2 weeks ago
- The tiniest standalone script to make a window on MacOS☆12Jan 21, 2023Updated 3 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- A Go implementation of the WebAssembly System Interface (WASI)☆154Dec 30, 2023Updated 2 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆83Jan 20, 2026Updated last month
- Run SWI-Prolog in your browser using WebAssemply☆77Aug 29, 2022Updated 3 years ago
- Logtalk - declarative object-oriented logic programming language☆475Updated this week
- Frax: Experimental abstraction layer for coding of web UIs☆17Apr 12, 2020Updated 5 years ago
- Simple broadcasting mechanism using go channels☆11Nov 2, 2019Updated 6 years ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 3 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…☆16Sep 20, 2025Updated 5 months ago
- main firmware repository, including official, branded module firmware☆14Mar 13, 2024Updated last year
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- Inspired by lisp500, lisp800 is a small embeddable dialect by lisp500 with the emphasis on embeddability☆20Jun 24, 2013Updated 12 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated 8 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- Save information about your GitHub starred repos into Google Sheets, Zinc, and SQLite!☆13Jul 18, 2025Updated 7 months ago
- Access to Google services from Common Lisp☆15Nov 18, 2017Updated 8 years ago
- Tweetnacl's ed25519 signatures, ported to WebAssembly☆13Apr 15, 2024Updated last year
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 years ago