trealla-prolog / goLinks
Trealla Prolog embedded in Go using WASM
☆80Updated 2 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
- A Prolog library to connect to PostgreSQL databases☆106Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆69Updated 2 years ago
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- PostgreSQL Prolog language handler☆135Updated last year
- The Directed Acyclic Graph Elevation Markup Language☆81Updated 7 months ago
- 🐝 Wasp : Wasm programming language☆115Updated 4 months ago
- Particle Syntax Website☆16Updated last year
- Graph-based Declarative Configuration Language☆134Updated 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
- a very (x 10) basic wasm console☆21Updated last year
- A headless spreadsheet document container service.☆104Updated 9 months ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 6 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Simple, general, human-sympathetic binary data format☆107Updated last year
- A small language that compiles to WebAssembly Text format☆74Updated last year
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆69Updated 3 years ago
- Omnino is a windowing system for web applications.☆57Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆83Updated last month
- Prolog Home Page☆73Updated 6 months ago
- 😎 A curated list of WebAssembly runtimes☆60Updated last year
- An interpreter of subset of Python in Go☆50Updated 2 years ago
- The Coil Programming Language☆33Updated last year
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆42Updated 2 years ago
- Benign remote code execution☆112Updated 2 weeks ago
- ☆61Updated 2 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- Tcl library for Golang style concurrency based on Communicating Sequential Processes☆40Updated last year