HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
quil-lang
quilc
Common Lisp2021–2025
quil-lang / quilc

quilc

The optimizing Quil compiler.

7Distinct people
8Mentions
0Explicit recommenders
491GitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

The optimizing Quil compiler.

GitHub

Where it is used

No documented product use has been verified yet.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

Mentioned in the same Hacker News threads. That is not proof they are substitutes.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by year8 dated mentions

Observed mentions: 2021-10-24 15:00:11 UTC to 2025-04-29 18:25:33 UTC.

0122021-01-01 00:00:00 UTC to 2022-01-01 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments20212022-01-01 00:00:00 UTC to 2023-01-01 00:00:00 UTC (exclusive): 2 mentions; 0 submissions, 2 comments2023-01-01 00:00:00 UTC to 2024-01-01 00:00:00 UTC (exclusive): 2 mentions; 0 submissions, 2 comments20232024-01-01 00:00:00 UTC to 2025-01-01 00:00:00 UTC (exclusive): 2 mentions; 0 submissions, 2 comments2025-01-01 00:00:00 UTC to 2026-01-01 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments2025

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
20212021-01-01 00:00:00 UTC2022-01-01 00:00:00 UTC101
20222022-01-01 00:00:00 UTC2023-01-01 00:00:00 UTC202
20232023-01-01 00:00:00 UTC2024-01-01 00:00:00 UTC202
20242024-01-01 00:00:00 UTC2025-01-01 00:00:00 UTC202
20252025-01-01 00:00:00 UTC2026-01-01 00:00:00 UTC101

What Hacker News says

8 sources
I think personally that Coalton and the stuff its built on is crazy cool. Coalton is a little library you add to your Lisp, but, to quote the third link here: "In terms of its type system, Coalton’s closest cousin is Haskell." So Lisp's dynamism with all sorts of advanced typing. QVM, a Quantum Virtual Machine https://github.com/quil-lang/qvm Quilc, an "advanced optimizing compiler" for Quil https://github.com/quil-lang/quilc Coalton, "a statically typed functional programming language built with Common Lisp." https://coalton-lang.github.io/20211010-introducing-coalton/
In Hofstadter on Lisp (1983)
A state of the art compiler [1] in quantum computing has not been rewritten in its 8 years of existence. This is accompanied by a quantum computer simulator that runs on the world's biggest supercomputers. [2] Multiple quantum computing companies use Common Lisp, and their software was written in a fraction of the time and resources taken for competing companies to do the same in either C++ or Python. Things like Coalton [3] really make Lisp stand out. What other language is able to add Haskell-quality types to their language? Lisp is not popular, so it doesn't have as much labor going into it, but for the work that does, remarkable results are achieved. Lisp does have a lot of the dubiously claimed power, but that power still requires reasonable engineering work to achieve—work that a lot of hobbyists are unwilling to do in their free 4
Read the rest
In Common Lisp Community Survey 2024 Results
HN perhaps isn't the right forum for this kind of commentary, but here it is anyway... This is a schematic for a new physical implementation of a particular mathematical operation, on a specific modality of qubit. The same mathematical operation can be computed on any other quantum computer in production today; very easily so if you use a compiler like QUILC [0]. Some architectures even have ways of doing native Toffolis. Unfortunately, I don't personally believe the headline summary and following text are written in good faith. > Researchers discover a new method to perform the N-qubit Toffoli gate, a more efficient quantum operation helpful in scaling quantum algorithms. They did discover a new way to perform this mathematical operation (the N-qubit Toffoli), but it's highly dubious that it will "scale" any existing quantum algorithm up
Read the rest
in any useful manner. Toffoli is like a quantum computing "NAND"-gate of sorts, it's useful in building up larger computations (like adders and multipliers). The problem is, it's not error corrected. So imagine building a full-adder, but every logic gate is inaccurate by about 1%. In series, those 1%'s rack up quickly. > New family of N-qubit gates can only be run on IonQ quantum computer architecture. This is hugely misleading. You can do an N-qubit Toffoli on any computer. That's what a compiler is for. That's like saying "You can only do AES encryption on Intel processors because they have the instruction for it." It's not true. You can do AES on any computing architecture, especially if you have an implementation in a portable programming language. > Once implemented, gate is expected to speed up several fundamental algorithms for quantum computing. Like what? Again, it's unlikely. A non-error-corrected Toffoli has limited utility, unless there's deep research in NISQ algorithms using slightly unfaithful Toffoli operations profitably that I'm unaware of. Later in the article they mention: > IonQ and Duke’s discovery may lead to significant efficiency gains in solving fundamental quantum algorithms, such as Grover’s search algorithm, variational quantum eigensolvers (VQEs), and arithmetic operations like addition and multiplication. Grover requires a fault-tolerant oracle for non-trivial problems, so that's out. Arithmetic the same (see above). Nobody to my knowledge has developed any reasonable Ansätze for VQE that use Toffoli gates that outperform existing ones—and VQE doesn't exactly have a lustrous record anyway for doing anything useful at scale. I think IonQ has made an interesting scientific achievement, and might even make for a few cool proof-of-concept demos, but it's hard to believe it'll lead to much of anything useful. Their speculation in the article, in my opinion, is squarely out-of-bounds. [0] https://github.com/quil-lang/quilc
In Duke University and IonQ Develop New Quantum Computing Gate
my background is also in physics and mathematics. in fact i think common lisp is well suited to a physicist-hacker type mindset. i could probably write a lengthy blog post about why i think this could be, but some of the key appeal factors are: * unmatched interactive development which could be used for exploration of problems such as dynamical and complex systems * although it is a very high level language you can perform low level optimizations in common lisp itself * extremely powerful macro system that allows you to develop in a declarative style to reflect your problem domain. for example you can program in a syntax that is natural to general or special relativity, quantum mechanics, etc. * fast and free implementations such as SBCL * the language is standardized so your code will not need to be unnecessarily maintained (this is good
Read the rest
for university professors that have repeating long-running courses) i am not sure what type of references you are asking for but i will list few open source projects that might be interesting to you: * CLASP - common lisp implementation build on top of LLVM. this project is headed by a computational chemist (prof. schafmeister) [0] * PetaLisp - for HPC [1] * MAGICL - Matrix Algebra proGrams In Common Lisp by Rigetti Computing [2] * Quil - quantum instruction language developed on top of common lisp [3] * CL-CUDA - use NVIDIA CUDA in Common Lisp programs [4] * MGL - Common Lisp machine learning library [5] * Maxima - a computer algebra system developed in common lisp [6] i think these are plenty to show that there exists serious interest in using common lisp for scientific computing. it is possible that some of the people behind these projects are on HN and maybe they can further expand on this [0] https://github.com/clasp-developers/clasp [1] https://github.com/marcoheisig/Petalisp [2] https://github.com/quil-lang/magicl [3] https://github.com/quil-lang/quilc [4] https://github.com/takagi/cl-cuda [5] https://github.com/melisgl/mgl also https://github.com/melisgl/higgsml [6] https://maxima.sourceforge.io/
In Idiomatic Clojure without sacrificing performance

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.