GitHub - LogosLang/prologos: Prologos is a functional-logic language unifying dependent types, session types, linear types (QTT), logic programming, and propagators. · GitHub

Name		Name	Last commit message	Last commit date
.claude		.claude
.github/workflows		.github/workflows
.stfolder		.stfolder
docs		docs
editors		editors
examples		examples
maude		maude
racket		racket
research		research
tools		tools
.claudeignore		.claudeignore
.gitignore		.gitignore
.mcp.json		.mcp.json
CLAUDE.md		CLAUDE.md
my_notes.md		my_notes.md
my_notes.org		my_notes.org

About

Prologos is a functional-logic language unifying dependent types, session types, linear types (QTT), logic programming, and propagators.

Custom properties

8 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages