| 9PAC | ⊕ 1957 | ↓ ↑ ⊕ Business Data Processing | ⊕ Report Generators | ⊕ United States | Report generator |
| ABC | ⊕ 1957 | ↓ ↑ ⊕ Business Data Processing | ⊕ Information Retrieval | ⊕ United States | Data manipulation language from Remington St Paul |
| AFAC | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Algebraic | ⊕ United States | Algebraic autocode at GM Allison |
| APS | ⊕ 1957 | ⊕ United States | |||
| APS | ⊕ 1957 | ↓ ↑ ⊕ Multi-purpose | ⊕ Generalised programming | ⊕ United States | Automatic Programming System |
| AUTOPROMT | ⊕ 1957 | ↓ ↑ ⊕ Specialised Languages | ⊕ Numerical Control | ⊕ United States | AUTOmated PROgramming of Machine Tools |
| AUTOTIMER | ⊕ 1957 | ↓ ↑ ⊕ Experimental and other | ⊕ Debugging languages | ⊕ United States | |
| B-0 | ⊕ 1957 | ↓ ↑ ⊕ Business Data Processing | ⊕ COBOL coeval | ⊕ United States | UNIVAC English language compiler |
| BAP | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Autocode Coeval | ⊕ United States | UC Berkeley IBM 701 assembler |
| COIN | ⊕ 1957 | ↓ ↑ ⊕ Multi-purpose | ⊕ Low-level Autocoders | ⊕ United States | Johns Hopkins autocoder |
| COMIT | ⊕ 1957 | ↓ ↑ ⊕ String and List Processing | ⊕ List | ⊕ United States | String-handling and pattern-matching language |
| COMPILER I | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Low-level Autocoders | ⊕ United States | Boeing 1103A compiler |
| Compiler II-SOAP II | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Internal Translators | ⊕ United States | Case SOAP compiler |
| Computer Operations Language | ⊕ 1957 | ↓ ↑ ⊕ Experimental and other | ⊕ Intermediate languages and VMs | ⊕ United States | Machine-independent language |
| DAS | ⊕ 1957 | ↓ ↑ ⊕ Business Data Processing | ⊕ Other DPLs | ⊕ United States | UNIVAC Data system |
| DATACODE I | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Low-level Autocoders | ⊕ United States | Burrough compiler |
| DDA | ⊕ 1957 | ↓ ↑ ⊕ Specialised Languages | ⊕ Expression oriented | ⊕ United States | Digital differential analyzer simulator |
| DEPI | ⊕ 1957 | ↓ ↑ ⊕ Specialised Languages | ⊕ Expression oriented | ⊕ United States | Continuous simulation language |
| DIDAS | ⊕ 1957 | ↓ ↑ ⊕ Specialised Languages | ⊕ Differential Equations | ⊕ United States | Simulations language |
| DUMBO | ⊕ 1957 | ⊕ Other US historic | ⊕ United States | Babcock and Wilcox interpreter/compiler for Burrough Datatron 205 | |
| ELI | ⊕ 1957 | ↓ ↑ ⊕ Multi-purpose | ⊕ Low-level Autocoders | ⊕ United States | Equitable Life 705 autocode |
| ESCAPE | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Autocode Coeval | ⊕ United States | Curtiss Wright interpretive autocode |
| FAIR | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Low-level Autocoders | ⊕ United States | Kodak Eastman interpretive autocoder |
| FLOCO | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Low-level Autocoders | ⊕ United States | |
| FLOW-MATIC | ⊕ 1957 | ↓ ↑ ⊕ Business Data Processing | ⊕ COBOL coeval | ⊕ United States | Release name for B-0, Possibly the first English-like DP language |
| FORC | ⊕ 1957 | ⊕ Algebraic | ⊕ United States | Simple algebraic system at Redstone | |
| Georgia Bell Interpreter | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Bell Labs Interpreters | ⊕ United States | Georgia Tech version of Bell |
| GPS | ⊕ 1957 | ↓ ↑ ⊕ Specialised Languages | ⊕ RETE and production | ⊕ United States | General Problem Solver |
| Hanford Mark II | ⊕ 1957 | ↓ ↑ ⊕ Business Data Processing | ⊕ Report Generators | ⊕ United States | Report generating language from GE Hanford |
| INA Autocode | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Low-level Autocoders | ⊕ United States | |
| IPL-V | ⊕ 1957 | ↓ ↑ ⊕ String and List Processing | ⊕ List | ⊕ United States | Information Processing Language v5 |
| IT 2 | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Internal Translators | ⊕ United States | Internal Translator version 2 |
| Iverson's Language | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Pure APLs | ⊕ United States | Proto-APL |
| K5 | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Algebraic | ⊕ United States | Algebraic assembler |
| KOMPILER 3 | ⊕ 1957 | ↓ ↑ ⊕ Non-numerical Scientific | ⊕ Multiline | ⊕ United States | Livermore Autocode |
| Lincoln Compiler | ⊕ 1957 | ⊕ United States | |||
| LT | ⊕ 1957 | ↓ ↑ ⊕ Specialised Languages | ⊕ Linear | ⊕ United States | Logical Theorist - theorem proving system at RAND |
| MAC | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Multiline | ⊕ United States | MIT Algebraic Compiler for IBM 650 |
| Music | ⊕ 1957 | ↓ ↑ ⊕ Experimental and other | ⊕ Sound-Performance | ⊕ United States | Languages for musical sound synthesis |
| MUSIC I | ⊕ 1957 | ↓ ↑ ⊕ Specialised Languages | ⊕ Sound-Performance | ⊕ United States | Musical composition language |
| NYDPP | ⊕ 1957 | ⊕ Symbolic assemblers | ⊕ United States | Services assembler | |
| ORACLE Order Code | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Initial orders | ⊕ United States | Oak Ridge initial orders |
| PACT IA | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Other US historic | ⊕ United States | Translator compiler for 704 |
| PLM | ⊕ 1957 | ↓ ↑ ⊕ Specialised Languages | ⊕ Ad hoc query languages | ⊕ United States | Graphically oriented data retrieval language |
| Procedure Translator | ⊕ 1957 | ↓ ↑ ⊕ Business Data Processing | ⊕ COBOL coeval | ⊕ United States | Interim renaming of B-0 |
| RAWOOP/SNAP | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Symbolic assembly packages | ⊕ United States | Ramo Woolridge macroassembler for UNIVAC |
| SAIL | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Symbolic assemblers | ⊕ United States | Livermore Larc assembler |
| SALT | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Symbolic assemblers | ⊕ United States | |
| SAP | ⊕ 1957 | ↓ ↑ ⊕ Multi-purpose | ⊕ Symbolic assemblers | ⊕ United States | SHARE Assembly Program |
| SCAT | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Other US historic | ⊕ United States | SHARE Compiler, Assembler, Translater |
| Scope Writer | ⊕ 1957 | ↓ ↑ ⊕ Business Data Processing | ⊕ Report Generators | ⊕ United States | RPG Language |
| SML | ⊕ 1957 | ↓ ↑ ⊕ Specialised Languages | ⊕ Intermediate languages and VMs | ⊕ United States | Case UNCOL |
| SOAP II | ⊕ 1957 | ↓ ↑ ⊕ Multi-purpose | ⊕ Symbolic assemblers | ⊕ United States | Symbolic Optimum Assembly Program |
| Speed Co | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Low-level Autocoders | ⊕ United States | IBM autocode for 701 |
| SPS-I | ⊕ 1957 | ↓ ↑ ⊕ Experimental and other | ⊕ Event scheduling | ⊕ United States | Simulations precursor to SIMSCRIPT |
| Thaumaturgy | ⊕ 1957 | ⊕ Low-level Autocoders | ⊕ United States | ORDVAC Autocode | |
| UDECIN-1 | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Other US historic | ⊕ United States | UDEC III interpreter |
| UDECOM-3 | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Low-level Autocoders | ⊕ United States | Compiler for the Burroughs UDEC III |
| UNISAP | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | ⊕ Symbolic assemblers | ⊕ United States | Case SAP |
| USE | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Low-level Autocoders | ⊕ United States | USE Scientific Compiler UNIVAX 1103A |