GitHub topics: declarative-language

Repositories

NixOS/nix

Nix, the purely functional package manager

Language: C++ - Size: 116 MB - Last synced at: 1 day ago - Pushed at: 3 days ago - Stars: 14,093 - Forks: 1,628

LogtalkDotOrg/logtalk3

Logtalk - declarative object-oriented logic programming language

Language: Prolog - Size: 1.01 GB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 443 - Forks: 32

ring-lang/ring

Simple and flexible programming language for applications development

Language: C - Size: 2.95 GB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,317 - Forks: 434

kaitai-io/kaitai_struct

Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby

Language: Shell - Size: 303 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 4,139 - Forks: 198

vega/vega-lite

A concise grammar of interactive graphics, built on Vega.

Language: TypeScript - Size: 314 MB - Last synced at: 4 days ago - Pushed at: 12 days ago - Stars: 4,833 - Forks: 638

gradle/declarative-gradle

Declarative Gradle is a project targeting better isolation of concern and expressing any build in a clear and understandable way

Language: Java - Size: 1.58 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 137 - Forks: 19

pureqml/qmlcore

QML to Javascript/HTML5 translator. Ready for Mobile, Desktop and SmartTV platforms.

Language: Python - Size: 35.4 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 336 - Forks: 43

mikeroyal/NixOS-Guide

NixOS Guide. Learn all about the immutable Nix Operating System and the declarative Nix Expression Language.

Language: Nix - Size: 1.56 MB - Last synced at: 11 days ago - Pushed at: 8 months ago - Stars: 920 - Forks: 27

dmendel/bindata

BinData - Reading and Writing Binary Data in Ruby

Language: Ruby - Size: 1.5 MB - Last synced at: 7 days ago - Pushed at: 12 days ago - Stars: 586 - Forks: 54

chalk-diagrams/chalk

A declarative drawing API in Python

Language: Python - Size: 59 MB - Last synced at: 27 days ago - Pushed at: 8 months ago - Stars: 295 - Forks: 13

devmohamedamr/awesome-ring

:tada: A curated list of awesome Ring resources

Language: Ring - Size: 35.2 KB - Last synced at: 9 days ago - Pushed at: over 6 years ago - Stars: 17 - Forks: 6

wtbates99/tabletalk

tabeltalk is a declarative language for seamless interaction with your database, enabling you to define data access configurations in a YAML file and query their data lakes using natural language

Language: Python - Size: 168 KB - Last synced at: 20 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

Mohannadcse/AlloySpecRepair

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications

Language: Alloy - Size: 12.9 MB - Last synced at: 15 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 1

petrgazarov/salami

Infrastructure as Natural Language

Language: Go - Size: 851 KB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 45 - Forks: 0

tracyhenry/Kyrix

Interactive details-on-demand data visualizations at scale

Language: JavaScript - Size: 51.8 MB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 148 - Forks: 26

LightSys/centrallix

Centrallix Application Platform

Language: C - Size: 40.8 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 6 - Forks: 9

s-arash/ascent

Logic programming in Rust

Language: Rust - Size: 1.19 MB - Last synced at: 20 days ago - Pushed at: about 2 months ago - Stars: 457 - Forks: 18

gooofy/zamia-prolog

Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.

Language: Python - Size: 153 KB - Last synced at: 9 days ago - Pushed at: over 7 years ago - Stars: 20 - Forks: 2

triton/triton

Triton Operating System

Language: Nix - Size: 285 MB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 67 - Forks: 9

fischerf/relatescript

RelateScript is a declarative meta-language designed to streamline the creation of structured and consistent prompts for large language models (LLMs).

Size: 36.1 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 9 - Forks: 1

shimpe/camala

Caption Markup Language

Language: Python - Size: 39.8 MB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 19 - Forks: 1

juliusthejules/pydonfig

PyDonfig: A simple, human-readable configuration language for Python, with a runtime parser to integrate .pydl files seamlessly into your code.

Language: HTML - Size: 34.2 KB - Last synced at: 20 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

python-lapidary/lapidary

Write Web API clients using annotations in python

Language: Python - Size: 681 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 11 - Forks: 0

arkimium/edenlinux 📦

Lancelot's NixOS Configurations - Codename edenlinux

Language: Nix - Size: 15.4 MB - Last synced at: 19 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

difranco/fifth

Language: Julia - Size: 38.1 KB - Last synced at: 4 days ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 0

picatz/glint 📦

✨Extensible, declarative linter for golang!

Language: Go - Size: 48.8 KB - Last synced at: about 16 hours ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 0

carrierdown/recurse

re<urse is a declarative language for generating musical patterns

Language: TypeScript - Size: 279 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 40 - Forks: 0

SyntaxeQL/syntaxe

A declarative data querying library inspired by graphql.

Language: JavaScript - Size: 4.16 MB - Last synced at: 9 months ago - Pushed at: 12 months ago - Stars: 2 - Forks: 0

vuo/vuo

A realtime visual programming language for interactive media.

Language: C++ - Size: 118 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 127 - Forks: 21

SyntaxeQL/syntaxe-express

An express.js middleware built on the original syntaxe data query library.

Language: JavaScript - Size: 3.71 MB - Last synced at: 11 months ago - Pushed at: 12 months ago - Stars: 2 - Forks: 0

raventid/avantgarde

Component base, general purpose, declarative language.

Size: 189 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 10 - Forks: 0

seanmiddleditch/descript

Declarative scripting language experiment

Language: C++ - Size: 1.16 MB - Last synced at: about 13 hours ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

lintense/jYATLon

Yet Another Template Language

Language: Java - Size: 1.23 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

ray-kast/AbsoluteUnity

Think Prolog, but less capable.

Language: Rust - Size: 69.3 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

EliteAvocado/iflog-lang

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.

Language: Java - Size: 3.88 MB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

iShafayet/legacy-copolymer

A declarative language that transpiles to HTML5 and CoffeeScript. Purpose made to work with Google's Polymer 0.x.

Language: CoffeeScript - Size: 17.6 KB - Last synced at: 9 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

lilactown/hux 📦

A declarative DSL for writing functional programs in javascript

Language: TypeScript - Size: 95.7 KB - Last synced at: 4 days ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

arnomoonens/Exam-scheduling 📦

Exam scheduling in Prolog (Declarative programming project)

Language: Prolog - Size: 83 KB - Last synced at: over 1 year ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

sandstorm/fusion4j

Neos Fusion rendering language for the JVM

Language: Kotlin - Size: 526 KB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

mohamedawnallah/Functional-Programming-Scala-3

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. You'll see how the functional paradigm facilitates parallel and distributed programming, and through a series of hands on examples and programming assignments, you'll learn how to analyze data sets small to large; from parallel programming on multicore architectures, to distributed programming on a cluster using Apache Spark. A final capstone project will allow you to apply the skills you learned by building a large data-intensive application using real-world data.

Language: Scala - Size: 52.7 KB - Last synced at: 12 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

declarative-language 48 declarative-programming 8 declarative 6 python 6 functional-programming 5 programming-language 5 prolog 5 dsl 5 nix 4 logic-programming 4 reverse-engineering 3 natural-language 3 nixos 3 web 3 llm 3 linux 3 javascript 2 java 2 home-manager 2 golang 2 data-querying 2 ruby 2 datalog 2 visualization-grammar 2 domain-specific-language 2 nodejs 2 overfetching 2 algorithms 2 html5 2 query-language 2 underfetching 2 c-plus-plus 2 nixpkgs 2 oop 2 compiler 2 desktop 2 game-development 2 macos 2 mobile 2 procedural 2 file-format 2 nix-flake 2 template-engine 2 composition 1 glsl 1 avangarde 1 vpls 1 vuo 1 graphics 1 syntaxe 1 vj 1 middlewares 1 graphics-programming 1 visual-programming-language 1 graphviz-dot 1 realtime 1 hacktoberfest 1 llvm 1 express-middleware 1 parallel-computing 1 express-js 1 opengl 1 text-animation 1 toml 1 developer-tools 1 human-readable-configs 1 python-configuration 1 runtime-parser 1 api-client 1 declarative-library 1 openapi 1 openapi3 1 python3 1 hyprland 1 justfile 1 nixos-configuration 1 json-rules 1 linter 1 ableton 1 interpreter 1 live-coding 1 livecoding 1 m4l 1 midi 1 sequencer 1 javascript-library 1 operators 1 query-engine 1 schema 1 clang 1 puzzle 1 jsx 1 logic 1 music-composition 1 racket 1 binary-data 1 description-language 1 kaitai-struct 1 protocol 1 typescript 1