GitHub - AccelerateHS/accelerate-llvm: LLVM backend for AccelerateYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - gwsystems/aWsm: WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.
aWsm is a compiler and runtime for compiling WebAssembly (Wasm) code into llvm bytecode, then into sandboxed binaries you can run on various platforms. It focuses on generating very fast code (best of breed for WebAssembly), having a simple and extensible code-base, and on portability. What is WebAssembly? Wasm is a standard binary format that is platform agnostic, debuggable, fast, and safe. Plea
Meetups
Useful links Official Kernel Docs Issue tracker Wiki Repos Mailing List: llvm@lists.linux.dev Subscribe (send a blank email to the address and follow the instructions you receive) Current mailing list archive Old Archive (Deprecated) - Google Groups - Lore IRC: #clangbuiltlinux on irc.libera.chat (web client) Telegram: @ClangBuiltLinux Discord: #clang-built-linux in the LLVM server Bi-weekly video
Are GCC and Clang parsers really handwritten?
It seems that GCC and LLVM-Clang are using handwritten recursive descent parsers, and not machine generated, Bison-Flex based, bottom up parsing. Could someone here please confirm that this is the case? And if so, why do mainstream compiler frameworks use handwritten parsers? Update : interesting blog on this topic here
TextSynth Server
News 2024-01-20: Added Mixtral model support. Added fast Whisper based speech to text transcription. 2023-10-21: CUDA support in the Windows version, mistral model support. Speculative sampling is supported. BNF grammar and JSON schema sampling. 2023-08-07: The GPU version and model conversion utilities are now freely available. 2023-07-21: The MPT and Llama 2 models are supported. 2023-06-10: New
あなたのPythonを100倍高速にする技術 / Codon入門
はじめに Pythonは世界的にも人気のあるプログラミング言語ですが、実行速度については課題があります。Pythonの実行速度を高速化したい、という要求は根強く、これまでにも様々なツールや処理系が開発されています。 この記事ではMITの研究者らが開発したPythonを高速化するツール「Codon」について紹介します。 この記事を3行でまとめると： 高性能で簡単に扱えるPythonコンパイラ「Codon」 Pythonとの互換性がありながら、CやC++に匹敵する高速化を実現 実際にPythonコードが100倍速くなることを検証 Codonとは Codonは高性能なPythonコンパイラです。実行時のオーバーヘッドなしにPythonコードをネイティブなマシンコードにコンパイルし、シングルスレッドで10-100倍以上の高速化が実現できます。Codonの開発はGithub上で行われており、2021
GitHub - GaloisInc/crucible: Crucible is a library for symbolic simulation of imperative programs
Crucible is a language-agnostic library for performing forward symbolic execution of imperative programs. It provides a collection of data-structures and APIs for expressing programs as control-flow graphs. Programs expressed as CFGs in this way can be automatically explored by the symbolic execution engine. In addition, new data types and operations can be added to the symbolic simulator by imple
Haskell+LLVM構成で作る自作コンパイラ - Qiita
Haskellのパーサコンビネータmegaparsecと、コンパイラ基盤であるLLVMを使って、コンパイラを作ってみます。モチベーションとしてはコンパイラはC/C++を使って作るのが定番ですが、型の恩恵を受けながら開発したいなあということでHaskellでも作れないか調べてみました。 コンパイラ作成の流れ パーサコンビネータのMegaparsecで四則演算のパーサを作成します。 LLVM IR構築のライブラリであるllvm-hs-pureでLLVM IRのコードへ変換するコンパイラを作成します。 簡単な式をコンパイルしてLLVMのインタープリタlliで実行します。 LLVMのコンパイラllcでアセンブラを生成してgccでバイナリまで生成します。 環境 あらかじめ以下をインストールしておいてください。 stack 1.9.3 Haskell 8.6.5 LLVM 9.0.0 コマンドラインで
「LLVM 9.0」リリース、asm gotoのサポートでLinuxカーネルのビルドが可能に | OSDN Magazine
The LLVM Projectは9月19日、コンパイラおよび関連ツールチェーン集「LLVM 9.0」をリリースしたことを発表した。ライセンスが例外付きApache License 2に変更になったほか、機能面ではメインラインのLinuxカーネル（x86_64）のビルドが可能になり、RISC-Vサポートが正式扱いとなるなどの強化が加わっている。 LLVMはモジュラーおよび再利用可能なコンパイラとツールチェーンを提供するプロジェクト。イリノイ大学でSSAベースのコンパイラ開発プロジェクトとしてスタートした。現在はLLVM Coreに加え、フロントエンドのClang、デバッガのLLDB、C++11とC++14をサポートするC++ Standard Libraryの実装であるlibc++とlibc++ ABIなど、複数のサブプロジェクトを擁する。 LLVM 9.0は3月に公開されたバージョン8に
GitHub - jfaure/lfvm-stg: Map lazy functional language constructs to LLVM IR
Map lazy functional language constructs to LLVM IR. Try it ! make && ./lfvm examples/map.stg --jit LLVM is an extremely powerful framework for compiler backends, giving us access to cutting edge optimizations, cross-platform compilation, the lldb debugger, interoperability with other llvm frontends (eg. clang), and more. The top-level constructs of LFVM STG are very similar to ghc STG, here are th
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
KMC Staff Blog:SoftFloatの未定義動作バグ（1）signedのunsignedな絶対値を求める際にINT_MIN
GitHub - espressif/llvm-project: Fork of LLVM with Xtensa specific patches. To be upstreamed.
GitHub - sdiehl/kaleidoscope: Haskell LLVM JIT Compiler Tutorial
GitHub - tomhrr/dale: Lisp-flavoured C
GitHub - smackers/smack: SMACK Software Verifier and Verification Toolchain
GitHub - uw-unsat/hyperkernel
GitHub - jacobly0/llvm-project: This fork of the canonical git mirror of the LLVM subversion repository adds (e)Z80 targets. Please refer to the wiki for important build instructions.
ごきげんよう、Zenへようこそ | Reduce your stress with the C language
GitHub - bollu/simplexhc-cpp: optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
GitHub - bollu/simplexhc: compiler with polyhedral optmization for a lazy functional programming language