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.1.0 release source code.tar.gz	2023-12-15	157.7 kB	0
Mangle v0.1.0 release source code.zip	2023-12-15	214.6 kB	0
README.md	2023-12-15	334 Bytes	0
Totals: 3 Items		372.6 kB	0

It has been over a year that Mangle was published on GitHub. A few bugs were found and fixed. Time for a first release!

I am merely tagging the current state v0.1.0. This release should enable some folks to use Mangle at a specific state.

There still remain a lot of good ideas to be implemented and specified until 1.0.

Source: README.md, updated 2023-12-15

Other Useful Business Software

AestheticsPro Medical Spa Software

Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.

Learn More

Rezku Point of Sale

Designed for Real-World Restaurant Operations

Rezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.

Learn More

AestheticsPro Medical Spa Software

Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

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

Mangle Files

Go library for Datalog-style logical reasoning and domain modeling

Get an email when there's a new version of Mangle