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
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A Prolog library to connect to PostgreSQL databases☆97Updated 9 months ago
- Golang implementation of Concise Binary and Text Encoding☆30Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆65Updated last year
- ☆58Updated 2 years ago
- PostgreSQL Prolog language handler☆131Updated 10 months ago
- Programming language for ternary computing☆30Updated 4 years ago
- Zig library for HyperLogLog estimation☆89Updated 7 months ago
- Trealla Prolog for the web☆46Updated this week
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- Simple, general, human-sympathetic binary data format☆107Updated last year
- Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on …☆39Updated this week
- Steampipe SQLite is a zero-ETL engine for SQLite. Virtual tables translate queries into live API calls for cloud services and APIs. Hundr…☆55Updated this week
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Postgres connection pooler☆20Updated 2 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆285Updated this week
- Prolog Home Page☆70Updated last month
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- A small language that compiles to WebAssembly Text format☆75Updated 9 months ago
- various predicates for ichiban/prolog☆15Updated 2 years ago
- The Coil Programming Language☆34Updated 11 months ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 2 years ago
- APL interpreter and stream processor☆131Updated 4 years ago
- A headless spreadsheet document container service.☆106Updated 2 weeks ago
- Graph-based Declarative Configuration Language☆135Updated 3 years ago
- 🐝 Wasp : Wasm programming language☆112Updated last month
- Go utilities for creating HTTP requests following the Braid spec☆12Updated 4 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- A datalog prover and interpreter in Go.☆35Updated 9 years ago
- This repo is an FBP implementation written in Go that follows pretty closely the logic of JavaFBP and C#FBP, taking advantage of Go's "go…☆35Updated 8 months ago