LLVM formulae for the Homebrew package manager
☆26Feb 24, 2022Updated 4 years ago
Alternatives and similar repositories for homebrew-llvm
Users that are interested in homebrew-llvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 4 years ago
- An OS written in Idris (eventually...)☆20Mar 4, 2015Updated 11 years ago
- functional programming language and its compiler☆18Oct 22, 2019Updated 6 years ago
- Try OCaml Effects and Eio in your browser☆20Feb 8, 2023Updated 3 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆42Apr 25, 2023Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 years ago
- A package which exists solely to try and give the user a cute girl. Executable and library are both available.☆11May 26, 2018Updated 8 years ago
- Honors Thesis Summer/Fall 2015☆11Nov 18, 2018Updated 7 years ago
- kdb+/q syntax highlighting for the sublime editor☆14Apr 24, 2016Updated 10 years ago
- LLVM backend for EFI Byte Code☆11Jul 14, 2019Updated 6 years ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Oct 9, 2021Updated 4 years ago
- YaoLang: The next DSL for Yao and quantum programs.☆31May 17, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Delimited continuations in byte-code and native OCaml☆27Jan 10, 2021Updated 5 years ago
- Autocomplete/linter for KDB-Q☆13Oct 30, 2017Updated 8 years ago
- Build docker container for @MaskRay's pcap-search☆10Aug 2, 2018Updated 7 years ago
- A fully-modular OCaml style linter☆46Apr 21, 2026Updated last month
- Various Cryptographic-Related Formulae☆17Jan 12, 2025Updated last year
- A PPX deriver that automates differential testing for OCaml modules☆26Nov 30, 2024Updated last year
- Writeups from various CTFs solved with Mathematica☆10Apr 15, 2017Updated 9 years ago
- A talk☆29Apr 14, 2021Updated 5 years ago
- OCaml hacking ideas, small and large.☆20Apr 9, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A C++17 based OTP header-only library for Windows.☆14Sep 16, 2019Updated 6 years ago
- Procedural map compass generation from Dragons Abound☆23May 22, 2022Updated 4 years ago
- A growing list of frequently asked questions and resources for creative code beginners☆16Jun 20, 2020Updated 5 years ago
- Category theory applied to functional programming (undergraduate project)☆34May 1, 2025Updated last year
- Basic start of TensorFlow with TensorBoard☆11Apr 9, 2016Updated 10 years ago
- A collection of random scripts for generating plots☆14Nov 16, 2019Updated 6 years ago
- Simulation and Optimization Library for Integrated Optics in Julia.☆11Sep 27, 2024Updated last year
- prebuild angr wheels for Windows on x86_64☆15Jul 21, 2018Updated 7 years ago
- Homebrew formulae for various tools☆17Mar 12, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple Idris program to blink the LED on an Arduino☆58Jul 26, 2021Updated 4 years ago
- Windows build files for the VMHunt Intel PIN Trace tool☆19Nov 26, 2018Updated 7 years ago
- 【python】初體驗-俄羅斯方塊遊戲☆11Apr 4, 2020Updated 6 years ago
- Binderize version of LIGO GW150914 tutorial☆11Oct 3, 2017Updated 8 years ago
- ☆10Aug 2, 2016Updated 9 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Nov 9, 2021Updated 4 years ago
- Common support code for user-facing front end systems.☆12Updated this week