GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

Declarative programming

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.

Website
Wikipedia
NixOS/nix
https://static.github-zh.com/github_avatars/NixOS?size=40
NixOS / nix

Nix 是一个类似于rpm、apt的Linux/Unix纯函数式包管理工具,旨在使软件包管理可靠且可重现

Nix函数式编程C++Package managerDeclarative programming
C++ 14.5 k
1 天前
vega/vega-lite
https://static.github-zh.com/github_avatars/vega?size=40
vega / vega-lite

A concise grammar of interactive graphics, built on Vega.

visual-analysisvisualization-grammar可视化vegachartsDeclarative programmingvega-liteplot
TypeScript 4.89 k
8 天前
https://static.github-zh.com/github_avatars/kaitai-io?size=40
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

逆向工程file-formatDeclarative programmingRubyJavaJavaScriptPythonC#GoPerlPHPgraphvizC++LuaNim
Shell 4.21 k
1 个月前
https://static.github-zh.com/github_avatars/ring-lang?size=40
ring-lang / ring

#编程语言#Simple and flexible programming language for applications development

编程语言编译器virtual-machineringlanguagering-programming-languageimperative-programming-languageproceduralobject-oriented函数式编程Declarative programmingnatural-languageDesktopWeb移动gamesWindowsLinuxmacOSWebAssembly
C 1.33 k
1 天前
https://static.github-zh.com/github_avatars/mikeroyal?size=40
mikeroyal / NixOS-Guide

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

NixDeclarative programming函数式编程SRE自托管apple-siliconwsl2libadwaitahome-manager
Nix 966
10 个月前
https://static.github-zh.com/github_avatars/potassco?size=40
potassco / clingo

🤔 A grounder and solver for logic programs.

logic-programming
C++ 670
14 天前
https://static.github-zh.com/github_avatars/CoNarrative?size=40
CoNarrative / precept

A declarative programming framework

rulesClojureClojureScriptfunctional-reactive-programminglogic-programming
Clojure 660
3 年前
https://static.github-zh.com/github_avatars/bow-swift?size=40
bow-swift / bow

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

函数式编程category-theoryfunctormonadswift-librarymtlcocoapodscarthageSwifteffectscompositionfpspmreactive-programmingHacktoberfest
Swift 652
3 年前
https://static.github-zh.com/github_avatars/dmendel?size=40
dmendel / bindata

BinData - Reading and Writing Binary Data in Ruby

Rubybinary-analysisfile-format逆向工程Declarative programming
Ruby 593
2 个月前
https://static.github-zh.com/github_avatars/hofstadter-io?size=40
hofstadter-io / hof

#大语言模型#Framework that joins data models, schemas, code generation, and a task engine. Language and technology agnostic.

code-generatorcuelangdata-modelingcue大语言模型tuiworkflow-engineHacktoberfest
Go 552
4 天前
https://static.github-zh.com/github_avatars/thma?size=40
thma / WhyHaskellMatters

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. ...

Haskellfunction-composition函数式编程partial-applicationpattern-matchingalgebraic-data-typesmappingfoldinglazy-evaluationtype-classesfunctorfoldablemonads
Haskell 471
2 年前
https://static.github-zh.com/github_avatars/s-arash?size=40
s-arash / ascent

Logic programming in Rust

Rustdataloglogic-programmingDeclarative programming
Rust 469
1 个月前
https://static.github-zh.com/github_avatars/LogtalkDotOrg?size=40
LogtalkDotOrg / logtalk3

Logtalk - declarative object-oriented logic programming language

logic-programmingprologObject-oriented programming (OOP)Declarative programming
Prolog 451
9 天前
https://static.github-zh.com/github_avatars/pureqml?size=40
pureqml / qmlcore

#前端开发#QML to Javascript/HTML5 translator. Ready for Mobile, Desktop and SmartTV platforms.

uideclarative-uiqmlHTMLembeddedmobile-webDeclarative programming前端frontend-frameworkWebweb-uismart-tvweb-template
Python 335
1 个月前
https://static.github-zh.com/github_avatars/chalk-diagrams?size=40
chalk-diagrams / chalk

A declarative drawing API in Python

drawingPythoncairoDeclarative programming
Python 296
10 个月前
https://static.github-zh.com/github_avatars/pine-vm?size=40
pine-vm / pine

Cross-platform runtime environment for the Elm programming language.

Elmfull-stack后端函数式编程virtual-machineevent-sourcingruntime数据库dbmsbusiness-logicmodeling
Elm 236
12 天前
https://static.github-zh.com/github_avatars/TomasMikula?size=40
TomasMikula / libretto

Declarative concurrency and stream processing library for Scala

concurrencystream-processing函数式编程type-safety
Scala 211
1 个月前
https://static.github-zh.com/github_avatars/tracyhenry?size=40
tracyhenry / Kyrix

Interactive details-on-demand data visualizations at scale

visualization-toolsvisualization-grammarinteractive-visualizationsPostgreSQLd3jsDeclarative programmingspatial-index数据可视化
JavaScript 148
2 年前
https://static.github-zh.com/github_avatars/vuo?size=40
vuo / vuo

A realtime visual programming language for interactive media.

clangLLVMvisual-programming-language编译器compositiongraphicsgraphics-programmingrealtimegraphviz-dotparallel-computingglslOpenGLmacOSdeclarativeDeclarative programmingHacktoberfest
C++ 148
1 年前
https://static.github-zh.com/github_avatars/gradle?size=40
gradle / declarative-gradle

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

Declarative programmingdslGradleKotlin
Java 142
1 个月前
loading...