Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Prolog programming for the Java platform.

PolyGlot is a conlang construction toolkit.

The future of convention web applications

Modular ActivityPub/Fediverse Server

Sustainable federated social media built for open correspondence

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

typed bidirectional router for OCaml/ReasonML web applications

Lock-free data structures for multicore OCaml

A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

Types and Serializers for the data schemas defined in the ActivityPub spec

Open-source CMS, Document Collaboration, Microblogging, and Publishing with AI Chatbot and AI Coding Agent supporting most Cloud AI providers

A federated platform for building communities.

Federated, ActivityPub-compatible social network server with friends, walls, and groups.

https://git.pleroma.social/pleroma/pleroma のFork

API Improvement Proposals. https://aip.dev/

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

Global timeout for microservices

Datalog-based source code analysis framework.

Datalog that's as easy as ABC.

Kotlin code completion, diagnostics and more for any editor/IDE using the Language Server Protocol

The developer platform for on-demand cloud development environments to create software faster and more securely.

WebTaint is a dynamic taint tracker created to secure Java-based web applications.

Zork I (Microcomputer Version) by Infocom

Catch common Java mistakes as compile-time errors

Wrangling Untrusted File Formats Safely

OpenMessaging Runtime Interface for Java

Google Cloud Client Library for Java