Top 12 declarative-programming Open-Source Projects

• precept

  1 651 0.0 Clojure

  A declarative programming framework

  

• Bow

  1 640 0.0 Swift

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

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• clingo

  3 585 7.9 C++

  🤔 A grounder and solver for logic programs.

  

Project mention: Learn Datalog Today | news.ycombinator.com | 2024-01-21

One of the easiest to get started on Datalog in my opinion is really clingo https://potassco.org/clingo/ , which can be pip installed and has python bindings. Answer Set Programming goes beyond datalog, but it holds datalog semantics as a sublanguage. It is unfortunate this is not well advertised.

```

• hof

  33 475 8.9 Go

  Framework that joins data models, schemas, code generation, and a task engine. Language and technology agnostic.

  

Project mention: Ask HN: Are SQL developers generally familiar with JSON, VSCode and Docker? | news.ycombinator.com | 2024-03-14

Many business analysts use SQL, have for a long time. They are probably not your target audience. With the problem being JAVA specific, you'd likely want to start there

This sounds similar to the goals of my hof tool (https://github.com/hofstadter-io/hof), lift type definitions out of code so they can be defined in one place, then generate the code for all the places. Is that sounding like what you are after?

• logtalk3

  57 394 9.8 Prolog

  Logtalk - declarative object-oriented logic programming language

  

Project mention: Logtalk portable solution for the Advent of Code 2023 Day 8 problem | /r/prolog | 2023-12-09

• libretto

  2 190 9.5 Scala

  Declarative concurrency and stream processing library for Scala

Project mention: Synit – A Reactive Operating System | news.ycombinator.com | 2023-07-15

I'm not sure this is actually easy to solve. The basic idea here seems to be that actors coordinate with the help of shared mutable state (the "dataspace"). At this point you're actually back to square one as synchronizing shared state is the core problem with distributed, concurrent systems…

Given that, and the fact that this whole thingy is untyped makes me skeptical. Not even the std. ingredients like type-state, session types, behavioral types, or the like seem to get used. I also don't see linear types here, which go very well with session types / behavioral types, and can help making typing message passing easier.

Also that this approach would be completely network transparent, as I see it, seems like a design flaw. One needs control over the various effects that can occur! Otherwise the points form "distributed systems future work" can't be solved, imho.

And form the practical point of view: There is no Akka / Pekko based Scala implementation? I'm quite surprised, to be honest.

Akka / Pekko is the actor runtime, and Scala is famous for it's eDSL features; besides of course its type-system, which makes thing like Libretto possible, which seems related here:

https://github.com/TomasMikula/libretto

Syndicate-lang looks OTOH more like the usual callback-hell.

But like I've said, I don't get this whole thingy really. I've just clicked through some parts of the web-sites. Most likely I'm just overlooking the elephant in the room. So would be glad to learn more!

(BTW: Very nice web-site design on all the projects. Especially nice typography. Really enjoyed this part while clicking through this stuff.)

• ObservableComputations

  3 108 0.0 C#

  Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCollectionChanged (ObservableCollection) interfaces.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• resourcerer

  1 80 7.1 JavaScript

  Declarative data-fetching and caching framework for REST APIs with React

• wybe

  1 41 8.0 Haskell

  A programming language supporting most of both declarative and imperative programming

• matchbook-ts

  0 32 0.0 TypeScript

  pattern matching in javascript & typescript made easy

  

• declarativex

  2 7 3.6 Java

  Composable approach to exception & conditions in Java

• inheritable

  1 3 3.2 Dart

  Inheritable - Aspect based efficient by default, zero-dependency, declarative state/dependency management for flutter

declarative-programming related posts

• Ask HN: Are SQL developers generally familiar with JSON, VSCode and Docker?
  1 project | news.ycombinator.com | 14 Mar 2024
• OpenAI: Prompt Engineering
  5 projects | news.ycombinator.com | 15 Dec 2023
• Ask HN: What's the most compelling AI prompt result you've seen?
  1 project | news.ycombinator.com | 28 Nov 2023
• Introducing TypeChat from Microsoft
  18 projects | news.ycombinator.com | 20 Jul 2023
• How we built a codegen solution for SDKs to create humanlike code
  1 project | news.ycombinator.com | 18 Jul 2023
• Show HN: YAML to Django Using ChatGPT
  1 project | news.ycombinator.com | 24 May 2023
• Ask HN: Can we create compositional architecture, APIs from embeddings?
  1 project | news.ycombinator.com | 7 Apr 2023
• A note from our sponsor - SaaSHub
  www.saashub.com | 26 Apr 2024

  SaaSHub helps you find the best software and product alternatives Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com