The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. 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/
-
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.
-
InfluxDB
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.
-
Theres the open source Digital (https://github.com/hneemann/Digital) which can run simulations but then export Verilog. If you have an ICE40 based GPU then in theory you can then use open source tools (like apio) to get that onto your FPGA. I've seen some impressive fpga tasks being generated by that.
I'm early in my learning of FPGA and have done nandgame and some other non-HDL circuit learnings. I have gone back and forth if I want to design my project via HDL or via something like Digital. There's not an easy pro/con either way.
-
-
-
you can use Datalig within Flix https://flix.dev/
-
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
-
WorkOS
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.
-
-
-
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.
-
-
-
pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
-
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 -
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Logic related posts
- Mandala: A little plaground for testing pixel logic patterns
- The "missing" graph datatype already exists. It was invented in the '70s
- 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]
-
A note from our sponsor - WorkOS
workos.com | 17 Apr 2024
Index
What are some of the best open-source Logic projects? This list will help you:
Project | Stars | |
---|---|---|
1 | plt | 5,121 |
2 | logisim-evolution | 4,279 |
3 | Digital | 3,916 |
4 | imove | 3,749 |
5 | grakn | 3,666 |
6 | flix | 2,047 |
7 | magmide | 803 |
8 | math | 694 |
9 | awesome-prolog | 474 |
10 | relic | 391 |
11 | tamarin-prover | 382 |
12 | opennars | 369 |
13 | OpenCircuits | 272 |
14 | awesome-rust-formalized-reasoning | 261 |
15 | reviews | 260 |
16 | ciao | 239 |
17 | principia | 198 |
18 | Julog.jl | 166 |
19 | pyreason | 154 |
20 | driver | 110 |
21 | Veecom | 87 |
22 | mandala | 83 |
23 | LoMRF | 81 |