awesome-lisp-companies

is an industrial-grade theorem proover

its industrial users include AMD, Arm, Centaur Technology, IBM, Intel, Motorola, Oracle or again Collins Aerospace. ,

Github account

Acceleration is a leading provider of business class IT solutions: high-speed internet access services, private network design and managed support, website design, hosting, dedicated and virtual server hosting,... they have a

uses the Allegro NFS Server in the onboard network system of Boeing 747 and 777 aircraft (source: )

uses Allegro CL for their ( )

article on , some words , and a

, a knowledge-based application for plant concept design, is built in Allegro CL.

, an interactive visual display

April

the Bloxl software is built on , an APL compiler built in Common Lisp. April's author is Bloxl's CTO

seen on the European Lisp Symposium of 2022 and on

building , "one of the most powerful document creation and management tools available, enables businesses to create and publish lengthy, complex documents in virtually any language and any format

the software started out as in 1981, and still runs on Lisp

Software Products and Services for Design Automation Solutions

is a knowledge-based engineering software for design automation, built in Allegro CL.

a multinational IT services and consulting company

:

financial services. Boston, MA. Bruce Lewis created , a dialect of Scheme called “a database-oriented language to embed in HTML and other markup.”

(formerly Trip Planner) - trip planning solutions including planning engine, web front-end, hosting, and data import/repair. Spokanne, WA. Lots of details on the Technical Info page (including discussion of packages, infrastructure, and algorithms). Made by Jean-Paul Larocque, who has more lisp code on , ThoughtCrime. ( )

create an English language writing-enhancement platform

offers AllegroCL, a Common Lisp compiler and programming environment; , a graph database / triple store written in Common Lisp; and consultancy services. Oakland, CA

provides General-purpose Declarative Language (GDL), a Generative Application Development system for creating web-centric Knowledge Based Engineering and Business applications, based on the free software . Genworks uses AllegroCL, its Head of Product Development is the founder of the Common Lisp foundation

software development and QA consulting. Oakland, CA. Deserves mention because Peter Seibel wrote Practical Common Lisp, claimed by ITA Software as

Source code analysis tools for C, C++, Ada. Ithaca, NY. and interns with experience programming in Scheme, compilers, and static analysis

Resolve

released , software AST-based diff calculation, display, and automated resolution. AGPL-3, C++ and Common Lisp

educational software, including , a product for building data literacy. Beaverton, OR. Made in LispWorks

airfare search engine and airline scheduling software. Cambridge, MA. , currently hiring and expanding their business

is a repository for third-party Lisp code out of Google/ITA, with libraries such as gRPC or cl-protobufs

MusicEase Software has been involved in the development of music notation software for over 35 years

a

MuKn (pronounced "moon") develops the open source for smart contracts on blockchains. The compiler and support libraries are implemented in . The team is fully remote and is hiring globally

PVS

, "the People's Verification System". PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. See also

the planning and scheduling software, used in the Hubble space telescops,

let's remind the (Deep Space 1 space probe, 1999)

photo sharing site aimed towards casual photographers. Beverly, MA. Kawa Scheme running on JVM, created by

3D Design Software

example use: the Eterna brand usee it to

"7+ million lines of Common Lisp code" ( )

for Microsoft Windows x64

Manufacturer of quantum computers and provider of their services through their product called . Much of their code is written in Common Lisp, including their quantum virtual machine and quantum compiler. ( , , )

. See also . They have lots of on their site as well

also an Allegro CL

Contract research house. Minneapolis, MN. Mission objective: “Getting information where it belongs when it’s needed.” to support human control of complex systems. Research areas include: Planning, Plan recognition, Intelligent UserInterfaces, Information Presentation and Management and Computational Etiquette. Have at least one product at opensource – (SHOP2)

, "A Groundbreaking New Platform for Targeted Drug Discovery"

by Kenneth Tilton, like Cells, an implementation of the dataflow programming paradigm. NYC

a Global Business Venture company that successfully launches innovative products and solutions in emerging markets worldwide

Equipement management & asset tracking software

vendor of the implementation for mobile and OSX

The Quantum Computing Company (trademark). The world's first company to sell quantum computers

Developing a entrepreneurs oriented Social Network, which includes project management and productivity tools called Huuii Smart and Huuii People as a social network, Huuii Polls as a Polls tool and Huuii Sites as web site creator tool use , about Common Lisp

Provides "consultancy services and software products to improve the performance of sustainable energy systems and optimize energy consumption". The real-time data aggregation and alerting engines of its product is Common Lisp based

they

Makes gaming accessories such as headsets, keyboards and mice. Games can integrate with these through the SteelSeries Engine using , their , which aims to be compatible with MIT/GNU Scheme

comments

Ltd

and

"We use Common Lisp extensively in our document processing software core for classification, extraction and other aspects of our service delivery and technology stack." See (from )

Alstom's uses Allegro CL:

"All the Allegro CL-based software is used with other software as part of one application suite, which is a 'generic' system used for the preparation of configuration data for two of Alstom's railway signalling interlocking products."

"modernization solutions to successfully transition from legacy systems to digital technologies"

, a web based Product and Project Management (PPM) solution, using Allegro CL

Nicolas Vilars, Marketing Director, says says Vilars

, VUB Artificial Intelligence Laboratory in Brussels

developed an open source framework in Common Lisp for conducting experiments on language evolution: . Their Gitlab: .

bevuta IT aims to be a technological leader and close to current scientific developments, focusing on objectively good technologies instead of current trends. The company employs the founder and core developers of the project

3D CAD modeler for “explicit modeling”. Sindelfingen, Germany. 1M+ lines of Lisp, previously part of HP, paper on . Recent blog post about

released , Common Lisp bindings to the C++ NDBAPI of RonDB

, 2022

MTU Aero Engines is Germany's leading engine manufacturer and an established global player in the industry. It engages in the development, manufacture, marketing and support of commercial and military aircraft engines in all thrust and power categories and industrial gas turbines. They use

developing an ERP in Lisp ( )

complete supply chain management software suite for steel service centers

their product is written in Allegro CL.

, heavy duty VoIP Telephones,

building , a tunnel evacuation system: "Norphonic introduces a novel distributed system for assisted evacuation from automotive and railway tunnels, mineral mines and industrial passageways."

" We are using CL in prod for an embedded system (evacsound.com) for some years now, fairly smooth sailing. It started out as an MVP/prototype so implementation was of no concern, then gained enough velocity and market interest that a rewrite was infeasible. We re-train talent on the job instead." Seen , 2022

home building, real estate management, for industrial housing construction. Oslo, Norway. Developed the knowledge management tools for housing construction planning

with (2024)

natural language interface for relational databases. Umeå, Sweden. Including of Umeå University. Downloadable demo of their CatchPhrase product. 20K lines of Clisp code

Developing , a music notation software (a LispWorks product). Stockholm

/

Developed , a post-apocalyptic hack & slash platformer game

We can support them on and

command-line app

deftask backend and the are written in CL

scientific software, computer science, internet solutions, social systems. Tokyo, Japan. Their (using ) lets engineers browse over 1TB of numerical, photo, and video data about car crashes to design safer cars (used by Honda). If you know Japanese, they have a page called (translation appreciated)

Pocket Change uses Common Lisp in . is Lead Engineer here

"is entirely lisp"

Feetr is "an algorithm which understands momentum in the stock market, and finds where that momentum is flowing to find stocks with a good chance of really high gains. It averaged 9.17% daily increase across 127 stocks last month ( )"

Soure: , 2022. They post SLY screenshots on their Twitter^^

uses and scheme extensively in production

the organization uses Common Lisp in at least two products:

(see ), and

Chatbots with Character

"many of [PandoraBots] strengths come from the power and straightforwardness of AIML and a Lisp-based parsing and translatingi engine". Seen on interview of Fritz Kunze, founder of Franz, Inc

web applications, custom software development, training. Virtual Office (5 people). , very good

building , an open-source, mobile-first automated screenshot testing. Written primarily with LispWorks, works also on CCL

This list derived from work with his kind permission