Our great sponsors
-
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Some of the latest things that are being worked on are techniques in Lisp to help make it easier to write complicated applications. The biggest effort in my orbit of work is Coalton. Coalton is an embedded language inside of Common Lisp allowing for strictly typed functional programming, with a type system nearly as sophisticated as Haskell's.
Quil's semantics are based off of an idea called the "quantum abstract machine". A piece of software which emulates the quantum abstract machine is called the Quantum Virtual Machine or QVM. It's open source and available here.
QUILC is probably the most interesting project. It is an open-source automatic, retargetable, optimizing compiler for Quil. It can take nearly any quantum computer architecture description and compile+optimize a Quil program for that architecture.