Top 6 LLVM Llvm Projects
High-performance automatic differentiation of LLVM. (by EnzymeAD)Project mention: The Julia language has a number of correctness flaws | news.ycombinator.com | 2022-05-16
Enzyme dev here, so take everything I say as being a bit biased:
While, by design Enzyme is able to run very fast by operating within the compiler (see https://proceedings.neurips.cc/paper/2020/file/9332c513ef44b... for details) -- it aggressively prioritizes correctness. Of course that doesn't mean that there aren't bugs (we're only human and its a large codebase [https://github.com/EnzymeAD/Enzyme], especially if you're trying out newly-added features).
Notably, this is where the current rough edges for Julia users are -- Enzyme will throw an error saying it couldn't prove correctness, rather than running (there is a flag for "making a best guess, but that's off by default"). The exception to this is garbage collection, for which you can either run a static analysis, or stick to the "officially supported" subset of Julia that Enzyme specifies.
Incidentally, this is also where being a cross-language tool is really nice -- namely we can see edge cases/bug reports from any LLVM-based language (C/C++, Fortran, Swift, Rust, Python, Julia, etc). So far the biggest code we've handled (and verified correctness for) was O(1million) lines of LLVM from some C++ template hell.
I will also add that while I absolutely love (and will do everything I can to support) Enzyme being used throughout arbitrary Julia code: in addition to exposing a nice user-facing interface for custom rules in the Enzyme Julia bindings like Chris mentioned, some Julia-specific features (such as full garbage collection support) also need handling in Enzyme.jl, before Enzyme can be considered an "all Julia AD" framework. We are of course working on all of these things (and the more the merrier), but there's only a finite amount of time in the day. [^]
[^] Incidentally, this is in contrast to say C++/Fortran/Swift/etc, where Enzyme has much closer to whole-language coverage than Julia -- this isn't anything against GC/Julia/etc, but we just have things on our todo list.
Haskell bindings for LLVM
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
anvill forges beautiful LLVM bitcode out of raw machine codeProject mention: fcd – LLVM-based native program optimizing decompiler | news.ycombinator.com | 2022-05-01
Official repo of the EVM LLVM project
Pretty printer for LLVM AST to Textual IR
Parser for the llvm bitcode formatProject mention: Native code generation | reddit.com/r/haskell | 2022-01-09
Interestingly llvm-hs seems to have gotten a new maintainer which has ambitious ideas like using it for GHC and absorbing the bytecode parser llvm-pretty-bc-parser.
LLVM Llvm related posts
cross compiling issues with mingw32
1 project | reddit.com/r/cpp | 16 Apr 2022
Wsmoses/Enzyme: High-performance automatic differentiation of LLVM
1 project | news.ycombinator.com | 22 Jan 2022
Native code generation
1 project | reddit.com/r/haskell | 9 Jan 2022
LLVM Internals: The Bitcode Format
3 projects | news.ycombinator.com | 19 Aug 2021
Rediscovering Hamming Code
1 project | news.ycombinator.com | 19 Apr 2021
Monthly Hask Anything January 2021
1 project | reddit.com/r/haskell | 21 Jan 2021
What are some of the best open-source Llvm projects in LLVM? This list will help you:
Are you hiring? Post a new remote job listing for free.