trealla-prolog / goLinks
Trealla Prolog embedded in Go using WASM
☆80Updated 3 months ago
Alternatives and similar repositories for go
Users that are interested in go are comparing it to the libraries listed below
Sorting:
- Zig library for HyperLogLog estimation☆91Updated last year
- ☆59Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆69Updated 2 years ago
- PostgreSQL Prolog language handler☆135Updated last year
- The Directed Acyclic Graph Elevation Markup Language☆81Updated 8 months ago
- A Unikernel running WebAssembly code☆52Updated 2 years ago
- A Prolog library to connect to PostgreSQL databases☆106Updated last year
- Graph-based Declarative Configuration Language☆134Updated 4 years ago
- Omnino is a windowing system for web applications.☆57Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- 🐝 Wasp : Wasm programming language☆115Updated last week
- Prolog Home Page☆73Updated 6 months ago
- 😎 A curated list of WebAssembly runtimes☆61Updated last year
- ISBL - Information Systems Base Language☆19Updated 11 years ago
- Benign remote code execution☆113Updated last month
- The Coil Programming Language☆33Updated last year
- An interpreter of subset of Python in Go☆50Updated 2 years ago
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆69Updated 4 years ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 3 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated 2 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 6 years ago
- Programming language for ternary computing☆31Updated 4 years ago
- A render engine and editor for html markup that is stored seperate from the content - out of band - as Ted Nelson would like.☆35Updated 3 years ago
- repl / scripting language / namespaced command line aliases☆72Updated 2 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆83Updated 2 months ago
- Steampipe SQLite is a zero-ETL engine for SQLite. Virtual tables translate queries into live API calls for cloud services and APIs. Hundr…☆58Updated 4 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Particle Syntax Website☆16Updated last year