Playing with llvm
☆25May 21, 2017Updated 8 years ago
Alternatives and similar repositories for rift
Users that are interested in rift are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Command line tool that transpiles scala code into java code.☆12Sep 26, 2015Updated 10 years ago
- LLVM + Swift template Xcode project☆13Apr 20, 2017Updated 8 years ago
- Library and utility for processing cabal's plan.json file☆42Jul 29, 2025Updated 8 months ago
- LLVM backend for the J2 Core (Hitachi SuperH SH-2 clone)☆24Jan 3, 2018Updated 8 years ago
- an x86 compiler written in ruby☆31Jun 9, 2025Updated 10 months 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.
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- sqlite-backed dictionary conforming to the dbm interface☆26Dec 16, 2012Updated 13 years ago
- ☆13Feb 12, 2025Updated last year
- a js llvm library☆11Jun 19, 2017Updated 8 years ago
- blog.mattbierner.com☆10Updated this week
- RISCV Core written in Calyx☆17Aug 16, 2024Updated last year
- Access a local beets library from mopidy via beets native api☆11Aug 27, 2016Updated 9 years ago
- 60 artisanal compiler crashes☆39Jul 17, 2016Updated 9 years ago
- R package provides cereal header files☆12Sep 20, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- For a given Haskell source file, determine where a symbol is imported from☆27Nov 16, 2018Updated 7 years ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 7 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Most common environment checks in one place: system version, retina support, UI flat mode, device models and so on.☆46Nov 30, 2015Updated 10 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- A web-based music player for Beets☆17Jun 25, 2017Updated 8 years ago
- Hopper Instruction Reference Tool Plugin☆13Feb 16, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- Script to download all of Hackage☆18Jul 14, 2019Updated 6 years ago
- Text objects and motions for Latex editing in Vim.☆14Sep 28, 2020Updated 5 years ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- Generate standalone haddock documentation for a set of packages☆28Jun 27, 2020Updated 5 years ago
- Homebrige plugin for Bluetooth button tags☆10Sep 15, 2016Updated 9 years ago
- Obsolete repository. Moved to oracle/graal.☆626Dec 5, 2018Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- Trace back the sources that contribute to your minified JavaScript artifact.☆11Feb 24, 2015Updated 11 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- A web version of Gomoku game implemented in Common Lisp.☆11Feb 8, 2015Updated 11 years ago
- Cabal Sandbox manager☆14May 24, 2016Updated 9 years ago
- luajit implementation of lpack☆12Sep 7, 2016Updated 9 years ago