Nix, the purely functional package manager
-
Updated
Jul 3, 2024 - C++
Declarative programming is a programming paradigm characterized by describing the target state (or even just the problem itself in some cases) as opposed to specifying the concrete steps needed to reach that target state. The specific steps usually then get generated automatically at Compile Time.
Nix, the purely functional package manager
Simple and flexible programming language for applications development
Declarative Gradle is a project targeting better isolation of concern and expressing any build in a clear and understandable way
Logtalk - declarative object-oriented logic programming language
A concise grammar of interactive graphics, built on Vega.
logic programming in Rust
A declarative drawing API in Python
A realtime visual programming language for interactive media.
Centrallix Application Platform
BinData - Reading and Writing Binary Data in Ruby
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
QML to Javascript/HTML5 translator. Ready for Mobile, Desktop and SmartTV platforms.
NixOS Guide. Learn all about the immutable Nix Operating System and the declarative Nix Expression Language.
A declarative data querying library inspired by graphql.
An express.js middleware built on the original syntaxe data query library.
Declarative scripting language experiment
Infrastructure as Natural Language
A declarative programming language for Textadventure-Games (also known as Interactive Fiction), inspired by the deductive language Datalog, which in itself is a syntactic subset of Prolog.