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. Learn more →
Top 23 Logic Open-Source Projects
-
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/
-
-
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.
-
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.
-
-
Project mention: Software for the arrangement of computer components on breadboards | /r/beneater | 2023-06-28
-
-
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-04https://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.
-
-
-
I've been tooling around with "Tuple Database", which claims to be FoundationDB for the frontend (by the original dev of Notion).
https://github.com/ccorcos/tuple-database/
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.
-
-
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
-
-
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: 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 -
-
-
-
-
-
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
- Show HN: driver – a TypeScript pkg for declaring finite states via boolean logic
- Ask HN: Learning Modern Compilers?
- Use of Posh for frontend development?
- What are some evergreen articles on programming languages and computing in general?
- Out of the Tar Pit (2006) [pdf]
- Relic: Functional relational programming for Clojure(Script)
- Relic: Functional relational programming for Clojure(Script)
-
A note from our sponsor - SurveyJS
surveyjs.io | 29 Sep 2023
Index
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.
blog.mergify.com