Compiler Principle, Design, Implementation and Optimization
☆12Jul 19, 2015Updated 11 years ago
Alternatives and similar repositories for compiler
Users that are interested in compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compiler Principle Lab In NJU☆14Dec 24, 2017Updated 8 years ago
- ☆12Aug 18, 2026Updated 2 months ago
- Specifying and Verfying Zab using TLA+☆11Dec 12, 2021Updated 4 years ago
- The CompCert formally-verified C compiler☆12Oct 23, 2026Updated last week
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆13Apr 10, 2025Updated last year
- ☆21Oct 25, 2021Updated 5 years ago
- An implementation of the MDCC (Multi-Data Center Commit) Protocol featuring Fast Paxos.☆18Mar 16, 2013Updated 13 years ago
- NIFTY is a fault tolerance tool to partial network partitions. In case of partial network partitions, NIFTY preserves cluster connectivit…☆21Jan 7, 2021Updated 5 years ago
- ☆20Jun 4, 2021Updated 5 years ago
- Problem: LU Factorization using OpenMP and MPI: study of scalability.☆15Oct 26, 2013Updated 13 years ago
- Preprossed data for workshop on statistical machine translation (WMT), collected from papers or other projects☆22Nov 4, 2017Updated 8 years ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆23Mar 9, 2024Updated 2 years ago
- 算法导论☆14Dec 28, 2018Updated 7 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.
- Just save my record on github...☆29Feb 7, 2021Updated 5 years ago
- SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems☆26Oct 11, 2026Updated 3 weeks ago
- Various vrittis associated with the ashtadhyayi☆11Mar 28, 2017Updated 9 years ago
- A docker container that runs Laravel Octane with Swoole.☆11Jun 17, 2021Updated 5 years ago
- scaffold a react native component within seconds☆11Dec 30, 2022Updated 3 years ago
- ☆10Mar 6, 2016Updated 10 years ago
- BadAppleOS in Rust.☆10Sep 19, 2020Updated 6 years ago
- Building blocks for Time Series Database (TSDB) in Go☆10Jul 8, 2020Updated 6 years ago
- Pure Rust Whisper File Library☆11Mar 28, 2018Updated 8 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.
- @deprecated See website for a maintained fork. A FastCGI handler for Cowboy☆13Oct 4, 2017Updated 9 years ago
- XSS Worm which steals victim's cookies and some information also spread others. Written in js, php and java.☆10Dec 12, 2017Updated 8 years ago
- Code Repository for the Siva Siva Mobile App☆10Dec 5, 2022Updated 3 years ago
- an elixir library for dealing with bittorrent tracker requests and responses☆13Dec 30, 2014Updated 11 years ago
- node.js version of java.math.BigInteger☆10Nov 5, 2015Updated 10 years ago
- Simple automatic PHP image gallery with Bootstrap, SASS and Lightbox integration☆10Mar 24, 2015Updated 11 years ago
- Example of chat using websockets, for youtube lesson. Do not even try to use it on production!☆10Apr 16, 2014Updated 12 years ago
- An experimental implementation of 'try' operator for Go☆13Jun 13, 2019Updated 7 years ago
- notification server PUSH client implemented in JS to be used as a fallback for navigator.mozPush or navigator.push on all browsers☆17Sep 23, 2014Updated 12 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Demonstration Parser for DPC12 talk "Let's build a Parser!"☆13Jun 6, 2012Updated 14 years ago
- Perf bindings for OpenTelemetry☆11Jan 14, 2020Updated 6 years ago
- Teaching C programming - Examples☆19Nov 23, 2012Updated 13 years ago
- ☆37Feb 11, 2025Updated last year
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆48May 22, 2023Updated 3 years ago
- A embeddable management backplane for your Go application☆16Dec 5, 2025Updated 10 months ago
- An implementation of the Raft consensus algorithm in Bloom.☆13Jun 19, 2013Updated 13 years ago