llvm-hs / homebrew-llvmView external linksLinks
LLVM formulae for the Homebrew package manager
☆25Feb 24, 2022Updated 3 years ago
Alternatives and similar repositories for homebrew-llvm
Users that are interested in homebrew-llvm are comparing it to the libraries listed below
Sorting:
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- Use a git repo as a key-value store.☆20Aug 2, 2018Updated 7 years ago
- Make simple HTTP requests with Racket☆24Jun 13, 2020Updated 5 years ago
- ☆10Jun 21, 2021Updated 4 years ago
- YaoLang: The next DSL for Yao and quantum programs.☆31May 17, 2021Updated 4 years ago
- Desktop implementation of Steam's mobile authenticator app☆11Feb 9, 2022Updated 4 years ago
- Empirical XRF Calibrations☆19Jan 16, 2026Updated 3 weeks ago
- This is a fork of jcrocholl/Marlin , add mege controller and mini panel support☆14Aug 23, 2014Updated 11 years ago
- A Lean 4 formalization of partial combinatory algebras.☆14Jan 6, 2025Updated last year
- ☆11Oct 25, 2024Updated last year
- 【python】初體驗-俄羅斯方塊遊戲☆11Apr 4, 2020Updated 5 years ago
- An R package for adjusting Stochastic Block Models from networks data sampled under various missing data conditions☆12Mar 13, 2025Updated 11 months ago
- ☆12Dec 9, 2025Updated 2 months ago
- ☆12Mar 13, 2025Updated 11 months ago
- Bindings for libsystemd-daemon☆18Mar 25, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- making git and xcode together less painful since 2008☆29Jun 27, 2020Updated 5 years ago
- BUS 41204: Machine Learning -- Winter 2016☆11Mar 3, 2017Updated 8 years ago
- Get Your Business Online and Back to Work - Fast☆10Jan 11, 2023Updated 3 years ago
- ☆11Jun 1, 2020Updated 5 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Display External IP in GNOME and notify user when it changes☆11Jan 2, 2023Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Install a sso enviroment for Linux, Mac and Windows with a simple script☆11Dec 12, 2011Updated 14 years ago
- This repository contains the source code used to produce the results presented in the paper "Simulating realistic non-Gaussian state prep…☆15Dec 17, 2019Updated 6 years ago
- Record and Stream Muse S Athena signals with Python☆25Jan 28, 2026Updated 2 weeks ago
- Automatically Analyze Your EKS Storage Usage☆17Dec 18, 2024Updated last year
- A Sinatra application that handles mailing list subscriptions for www.ruby-lang.org☆16Jan 1, 2024Updated 2 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)☆13Dec 27, 2016Updated 9 years ago
- ☆10Jul 14, 2019Updated 6 years ago
- Libarchive VFS add-on for Kodi☆14Oct 26, 2025Updated 3 months ago
- Sight_FrameServer is the delivery method used by SIGHT for remote visualization. SIGHT is an exploratory visualization tool for large sca…☆10Feb 28, 2019Updated 6 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago