Mangle Files

Go library for Datalog-style logical reasoning and domain modeling

This is an exact mirror of the Mangle project, hosted at https://github.com/google/mangle. SourceForge is not affiliated with Mangle.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
Mangle v0.2.0 source code.tar.gz	2024-08-14	205.5 kB	0
Mangle v0.2.0 source code.zip	2024-08-14	303.2 kB	0
README.md	2024-08-14	195 Bytes	0
Totals: 3 Items		508.9 kB	0

Cutting a new release with current state.

Lattice support! Bugs fixed! Docs! The interpreter is now called "mg".

Full Changelog: https://github.com/google/mangle/compare/v0.1.0...v0.2.0

Source: README.md, updated 2024-08-14

Other Useful Business Software

Simplify your short-term rental business with our Channel Manager

Boost your vacation rental revenue

Manage your vacation rental like a pro with features that streamline, sync and simplify - all from one intuitive software.

Learn More

Secure Cloud Storage for Files, Photos and Documents | pCloud

Store, access, and manage your files on your own terms, from anywhere.

Store, sync, and share your files securely with pCloud. Get up to 10 GB of free secure cloud storage and access your files from any device, anywhere.

Learn More

Simplify your short-term rental business with our Channel Manager

Boost your vacation rental revenue

Manage your vacation rental like a pro with features that streamline, sync and simplify - all from one intuitive software.

Learn More

Recommended Projects

Datalog Educational System
Deductive Database with Datalog, SQL, RA, TRC, DRC
datalog
The Datalog package contains a lightweight deductive database system. Queries and database updates are expressed using Datalog—a declarative logic language in which each formula is a function-free Horn clause, and every variable in the head of a clause must appear in the body of the clause. The use of Datalog syntax and an implementation based on tabling intermediate results, ensures that all queries terminate.
gtk-iptables
Gtk-IPTables is a GTK-based frontend for iptables written in C. You can create rules for all chains for Filter, NAT, and Mangle tables.
Datalevin
A simple, fast and versatile Datalog database
Flix
The Flix Programming Language