CLOG - The Common Lisp Omnificent GUI

SWI-Prolog stable releases

A modern Prolog implementation written mostly in Rust.

SWI-Prolog for SHaring: a SWI-Prolog web IDE

📘🌼 A bunch of Pollen recipes

Rails-like inflection library for Clojure and ClojureScript

Julia kernel for Jupyter

IntelliJ plugin for Haskell

Sinatra like web toolkit for OCaml

OCaml for web programming

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)