Crystallect

[edit]

• Overview
• Details
• About this entry

Crystallect

https://www.nongnu.org/crystallect/
An experimental framework for logic programming

An experimental framework for software design and development. Helps to express the theory of your project in the form of axioms and proofs that will be used for generating C code.

Download

version 0.0.1 (beta)
released on 16 March 2025

User level

Advanced

Microblog

https://graniar.wordpress.org/crystallect-2/

VCS Checkout

git clone git://git.savannah.gnu.org/crystallect.git

Categories

• Mathematics:proof-checker
• Mathematics:symbolic
• Mathematics:theorem-prover
• Programming-language:C
• Programming-language:C++
• Runs-on:GNU/Linux
• Science:artificial-intelligence
• Software-development:compiler
• Software-development:model-checker
• Software-development:program-editor
• Software-development:programming-language
• UI Toolkit:sdl
• Use:mathematics
• Use:science
• Use:software-development

Licensing

License

Verified by

Verified on

Notes

License

GPL-3.0-or-later

Verified by

Yaroslav Granowski

Verified on

16 March 2025

Notes

https://git.savannah.nongnu.org/cgit/crystallect.git/tree/COPYING

Leaders and contributors

Resources and communication

Software prerequisites

Kind	Description
Weak prerequisite	TeXmacs for documentation
Required to use	libsdl2
Required to build	GNU Make
Required to build	GCC with c++11 support
Required to use	freetype

Entry

"GPL-3.0-or-later" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.