Programación Declarativa - Facultad de Informática de A Coruña
-
Updated
Feb 19, 2019
#
declarative-language
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.
Here are 47 public repositories matching this topic...
Exam scheduling in Prolog (Declarative programming project)
-
Updated
Feb 1, 2016 - Prolog
A general purpose declarative programming language
algorithms
languages
declarative-language
frameworks
declarative-programming
programming-by-example
inductive-program-synthesis
domain-specific-languages
deductive-inference
search-based-synthesis
shaughnessy
-
Updated
Aug 11, 2019
Declarative scripting language experiment
game-development
scripting-language
declarative-language
scripting-engine
node-graph
declarative-programming
-
Updated
Nov 17, 2023 - C++
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.
programming-language
sql
game-development
prolog
interactive-fiction
datalog
declarative-language
declarative-programming
textadventure
textadventure-game
gamebasedlearning
-
Updated
Sep 18, 2023 - Java
Pequeño lenguaje de programación declarativo que describe y resuelve problemas de Primaria
-
Updated
Jun 19, 2018 - JavaScript
Lancelot's NixOS Configurations - Codename edenlinux
linux
nix
nixos
declarative
declarative-language
nixos-configuration
home-manager
justfile
nix-flake
hyprland
-
Updated
Jul 16, 2024 - Nix
This Specialization provides a hands-on introduction to functional programming using the widespread programming language, Scala. It begins from the basic building blocks of the functional paradigm, first showing how to use these blocks to solve small problems, before building up to combining these concepts to architect larger functional programs…
declarative-language
scala3
functionalprogramming
declarative-programming
objectorientedprogramming
imperativeprogramming
-
Updated
Feb 6, 2022 - Scala
A relative pitch/rhythm based programming language built on Racket and Alda.
-
Updated
Oct 27, 2021 - Racket
Neos Fusion rendering language for the JVM
-
Updated
May 6, 2022 - Kotlin
A declarative DSL for writing functional programs in javascript
javascript
functional
functional-programming
dsl
declarative
hiccup
declarative-language
lisp-dialect
-
Updated
May 1, 2017 - TypeScript
Binary file description language
typescript
binary-data
dsl
protocol
reverse-engineering
description-language
declarative-language
kaitai-struct
-
Updated
Jan 6, 2023 - TypeScript
A declarative language that transpiles to HTML5 and CoffeeScript. Purpose made to work with Google's Polymer 0.x.
-
Updated
Jan 1, 2021 - CoffeeScript
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
-
Updated
May 27, 2024 - Alloy
An express.js middleware built on the original syntaxe data query library.
nodejs
express-middleware
middlewares
declarative-language
express-js
query-language
underfetching
syntaxe
overfetching
-
Updated
May 3, 2024 - JavaScript
A declarative data querying library inspired by graphql.
nodejs
schema
javascript-library
query-engine
declarative-language
operators
query-language
declarative-programming
underfetching
data-querying
overfetching
-
Updated
May 4, 2024 - JavaScript
-
Updated
Sep 6, 2017 - Apex
FlowJS is a flow based programming library for databases, APIs, utilities, objects, schemas and more!
library
declarative
flow-control
turn-based
declarative-language
flow-based-programming
chainable-methods
declarative-routing
chainable
declarative-programming
declarative-pipeline
chainable-interface
-
Updated
Mar 27, 2021 - JavaScript