trealla-prolog / goLinks
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
Sorting:
- A Prolog library to connect to PostgreSQL databases☆99Updated last year
- ☆58Updated 3 years ago
- 🐝 Wasp : Wasm programming language☆113Updated this week
- Programming language for ternary computing☆30Updated 4 years ago
- Zig library for HyperLogLog estimation☆89Updated 11 months ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- PostgreSQL Prolog language handler☆134Updated last year
- Omnino is a windowing system for web applications.☆57Updated 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 week
- The Coil Programming Language☆33Updated last year
- Steampipe SQLite is a zero-ETL engine for SQLite. Virtual tables translate queries into live API calls for cloud services and APIs. Hundr…☆56Updated last week
- Golang implementation of Concise Binary and Text Encoding☆30Updated last year
- various predicates for ichiban/prolog☆15Updated 2 years ago
- Graph-based Declarative Configuration Language☆134Updated 4 years ago
- ☆41Updated last year
- SQLite extension library, written in Lua and C. Based on EAV/CR storage, implements most of data schema refactoring patterns and more☆17Updated 4 years ago
- Go utilities for creating HTTP requests following the Braid spec☆12Updated 4 years ago
- Postgres connection pooler☆22Updated 3 years ago
- a concurrent hash array mapped trie implementation in go☆47Updated this week
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆42Updated last year
- A headless spreadsheet document container service.☆105Updated 4 months ago
- A small language that compiles to WebAssembly Text format☆74Updated 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
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated 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
- ☆100Updated 3 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago