Top 23 Logic Open-Source Projects

  • plt

    Programming Language Theory λΠ

    Project mention: Ask HN: Learning Modern Compilers? | news.ycombinator.com | 2023-06-12

    I recall reading a comment on here at some point in the last year where someone who worked on a team that wrote compilers lamented the difficulty in hiring qualified people because the practice of compiler construction differs so wildly from what is taught in school or even most compiler books. Apparently it scarcely resembles what is taught in university courses based on the Dragon book or similar, both in the higher level architecture and the lower level techniques

    I know that one difference is that compilers have adopted a more service-oriented architecture, kind of like the Roslyn compiler. This allows them to not only compile your code, but inform your text editor and linter and similar tooling of syntax issues incrementally.

    What are other differences? Is llvm still relevant outside of academia?

    Are there any books, papers, or open source projects one could study to learn how compilers are built in this day and age?

    Also: does the more abstract "programming language theory" popular in the more formal functional programming world (e.g. denotational semantics, lambda calculus, Floyd-Hoare logic, type theory, etc: this sort of stuff[1]) have any relevance to compiler writers and language/language tooling developers in industry?

    [1] https://steshaw.org/plt/

  • imove

    INACTIVE: Move your mouse, generate code from flow chart

  • SurveyJS

    A Non-Cloud Alternative to Google Forms that has it all.. SurveyJS JavaScript libraries allow you to easily set up a robust form management system fully integrated into your IT infrastructure where users can create and edit multiple dynamic JSON-based forms in a no-code form builder. Learn more now.

  • logisim-evolution

    Digital logic design tool and simulator

    Project mention: Problem with installation | /r/logisim | 2023-07-10

    I have downloaded logisim-evolution from github. While trying to run .msi file, Microsoft Defender blocked it for some reason. I scanned it with some other scanners and everything was fine. I'm not sure if this is safe to install it.

  • grakn

    TypeDB: a polymorphic database powered by types

    Project mention: Datomic Is Now Free | news.ycombinator.com | 2023-04-27
  • Digital

    A digital logic designer and circuit simulator.

    Project mention: Software for the arrangement of computer components on breadboards | /r/beneater | 2023-06-28
  • flix

    The Flix Programming Language

    Project mention: Java 21 makes me like Java again | news.ycombinator.com | 2023-09-16
  • magmide

    A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

    Project mention: Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think? | /r/rust | 2023-07-04

    https://github.com/magmide/magmide when

  • Amplication

    Amplication: open-source Node.js backend code generator. An open-source platform that helps developers build backends without spending time on boilerplate & repetitive coding. Including production-ready GraphQL & REST APIs, DB schema, DTOs, filtering, pagination, RBAC, & more.

  • math

    The MATH Dataset (NeurIPS 2021) (by hendrycks)

  • awesome-prolog

    Curated list of Prolog packages and resources

  • relic

    Functional relational programming for Clojure(Script).

    Project mention: FoundationDB: A Distributed Key-Value Store | news.ycombinator.com | 2023-07-03

    I've been tooling around with "Tuple Database", which claims to be FoundationDB for the frontend (by the original dev of Notion).


    I have found it conceptually similar to Relic or Datascript, but with strong preformance guarantees - something Relic considers a potential issue. It also solves the problem of using reactive queries to trigger things like popups and fullscreen requests, which must be run in the same event loop as user input.


  • opennars

    OpenNARS for Research 3.0+

    Project mention: AGI frameworks | /r/agi | 2022-12-11
  • tamarin-prover

    Main source code repository of the Tamarin prover for security protocol verification.

  • OpenCircuits

    A free, open source, online digital circuit/logic designer.

  • awesome-rust-formalized-reasoning

    An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  • ciao

    Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

    Project mention: PHP: Prolog Home Page | news.ycombinator.com | 2023-01-07
  • principia

    The Principia Rewrite (by LogicalAtomist)

  • Julog.jl

    A Julia package for Prolog-style logic programming.

    Project mention: Julog.jl – A Julia package for Prolog-style logic programming | news.ycombinator.com | 2023-02-15
  • driver

    🏁 A typescript package for declaring finite states and commonly derived values - zero dependencies, fully typed, & framework agnostic.

    Project mention: Show HN: driver – a TypeScript pkg for declaring finite states via boolean logic | news.ycombinator.com | 2023-09-06
  • LoMRF

    LoMRF is an open-source implementation of Markov Logic Networks

  • python-business-logic

    Python package that makes creating complicated business logic easy

  • mo

    Unknown (by cicada-lang)

  • RISC-V-Computer-2.0

    An educational RISC-V based computer build with Logisim

  • Logic-Circuit-Simulator

    A logic circuit simulator made with p5.js library. (by drendog)

  • Appwrite

    Appwrite - The open-source backend cloud platform. The open-source backend cloud platform for developing Web, Mobile, and Flutter applications. You can set up your backend faster with real-time APIs for authentication, databases, file storage, cloud functions, and much more!

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-09-16.

Logic related posts


What are some of the best open-source Logic projects? This list will help you:

Project Stars
1 plt 5,046
2 imove 3,735
3 logisim-evolution 3,682
4 grakn 3,529
5 Digital 3,235
6 flix 1,843
7 magmide 776
8 math 488
9 awesome-prolog 461
10 relic 371
11 opennars 348
12 tamarin-prover 341
13 OpenCircuits 236
14 awesome-rust-formalized-reasoning 227
15 ciao 214
16 principia 194
17 Julog.jl 159
18 driver 105
19 LoMRF 77
20 python-business-logic 74
21 mo 72
22 RISC-V-Computer-2.0 67
23 Logic-Circuit-Simulator 47
Updating dependencies is time-consuming.
Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.