Alternatives and similar repositories for homebrew-llvm

Users that are interested in homebrew-llvm are comparing it to the libraries listed below

• swift-lang / swift-t
  Swift/T: High Performance Parallel Scripting Language
  ☆54Updated 3 weeks ago
• fossas / spectrometer
  Flexible, robust, and performant dependency analysis.
  ☆20Updated 3 years ago
• jq-shell / jqsh
  The jqsh scripting language
  ☆12Updated 9 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 months ago
• mathjax / mathjax-node-cli
  CLI tools for mathjax-node
  ☆33Updated last year
• LeventErkok / crackNum
  Convert to/from IEEE-754 HP/SP/DP formats
  ☆22Updated 8 months ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• programming-journal / programming
  ☆21Updated 11 months ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆15Updated last month
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 9 months ago
• RReverser / vscode-llvm
  LLVM syntax highlight extension for VS Code
  ☆13Updated last year
• exercism / sml
  Exercism exercises in Standard ML.
  ☆28Updated this week
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated 3 months ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆18Updated 3 months ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• AnyDSL / anydsl
  Meta project to quickly build dependencies
  ☆102Updated last month
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• NVIDIA / Forma
  DSL for stencils and image processing
  ☆13Updated 8 years ago
• iitd-plos / unicorn
  Unicorn - An HPC Library for hybrid CPU-GPU clusters (TPDS 2016 paper)
  ☆12Updated 7 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆13Updated 6 years ago
• peritus / git-remote-couch
  a git-remote-helper that allows you to push source code into a CouchDB
  ☆34Updated 14 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• jBugman / interop
  Python/C/Go/Rust/Haskell interop examples
  ☆25Updated 8 years ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆35Updated 2 weeks ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• anton-petrunin / birkhoff
  Euclidean plane and its relatives; a minimalist introduction.
  ☆18Updated last week
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆20Updated 4 years ago
• Dyalog / MiServer
  MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com
  ☆48Updated last month