-
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
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.