interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)

A dynamic language and bytecode vm

Schema.org - schemas and supporting software

AI (LLM) Prompts I Have Known And Loved

Semantic data playground: RDF, ShEx, SHACL, etc.

An unofficial Copilot plugin for Emacs.

Strong type constraints for Scala

Toolkit for Scala Development

Emacs mode for BQN programming language

stb single-file public domain libraries for C/C++

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

The ErgoAI reasoning engine, an advanced object-oriented knowledge management system

An open source Prolog interpreter in JavaScript

Euler Yet another proof Engine

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

Introduction to modern Prolog

Source code for Twitter's Recommendation Algorithm

The simplest, fastest way to get business intelligence and analytics to everyone in your company 😋

Graph theory (network) library for visualisation and analysis

Computer Algebra, Physics and Differential Geometry in Clojure.

Collaborative Programmable Music

Immutable database and Datalog query engine for Clojure, ClojureScript and JS

Collection of sample projects to demonstrate possible uses of SuiteCloud account customization in NetSuite. Projects are inspired by real customer customizations and include custom objects packaged…

a reactive Clojure dialect for web development that uses a compiler to manage the frontend/backend boundary

ElKowars wacky widgets