| µJava | 2000 | ⊕ Russian Federation | |||
| Agda | 2000 | ⊕ Sweden | |||
| Aldwych | 2000 | ↓ ↑ ⊕ Business Data Processing | ⊕ United Kingdom | Data co-ordination language | |
| ANA | 2000 | ||||
| APL+ | 2000 | ⊕ United States | |||
| APT | 2000 | ||||
| Arc | 2000 | ⊕ United States | Exprimental LISP dialect | ||
| Arche | 2000 | Concurrent OO Language | |||
| ASK | 2000 | Concurrent OO Language | |||
| ASTEK | 2000 | ⊕ Poland | |||
| Atom | 2000 | Concurrent OO Language | |||
| Bandera | 2000 | ||||
| Borg | 2000 | ⊕ Belgium | |||
| Braid | 2000 | Concurrent OO Language | |||
| Casl LTL | 2000 | ⊕ Italy | |||
| CEiffel | 2000 | Concurrent OO Language | |||
| CFM | 2000 | Concurrent OO Language | |||
| CleverForm | 2000 | ||||
| CLLS | 2000 | ||||
| CLM-2 | 2000 | ⊕ United States | |||
| Cmm | 2000 | ⊕ United States | |||
| COBOL 2000 | 2000 | ↓ ↑ ⊕ Business Data Processing | ⊕ International | 2000 COBOL Standard | |
| COMPILE | 2000 | ⊕ United States | |||
| Concurrent Class Eiffel | 2000 | Concurrent OO Language | |||
| cooC | 2000 | ⊕ Japan | |||
| COOL/Chorus | 2000 | Concurrent OO Language | |||
| COOL/NTT | 2000 | Concurrent OO Language | |||
| Cool/Stanford | 2000 | Concurrent OO Language | |||
| Correlate | 2000 | Concurrent OO Language | |||
| CosmicOS | 2000 | ⊕ United States | |||
| CPL | 2000 | ↓ ↑ ⊕ Specialised Languages | ⊕ Singapore | Chart-Pattern Language | |
| CPL | 2000 | ↓ ↑ ⊕ Specialised Languages | ⊕ United States | Call Processing Language | |
| CPL | 2000 | ↓ ↑ ⊕ Specialised Languages | ⊕ United States | Querying language for Kleisli | |
| CST-MIT | 2000 | Concurrent OO Language | |||
| DAML | 2000 | ||||
| DEMOS 2000 | 2000 | ⊕ United Kingdom | |||
| DEVIL | 2000 | ↓ ↑ ⊕ Experimental and other | ⊕ France | ||
| dforth | 2000 | ⊕ United States | |||
| DIL | 2000 | ⊕ United States | |||
| Distributed C++ | 2000 | Concurrent OO Language | |||
| Distributed Smalltalk-Object | 2000 | ⊕ United States | Concurrent OO Language | ||
| Distributed Smalltalk-Process | 2000 | ⊕ United States | Concurrent OO Language | ||
| DoPVM | 2000 | Concurrent OO Language | |||
| DROL | 2000 | Concurrent OO Language | |||
| Eclectic CSP | 2000 | ⊕ United States | |||
| Eiffel// | 2000 | Concurrent OO Language | |||
| Elephant 2000 | 2000 | ⊕ United States | |||
| Eli Compiler Construction System | 2000 | ||||
| EPEE | 2000 | Concurrent OO Language | |||
| ES-Kit | 2000 | Concurrent OO Language | |||
| FAR | 2000 | ||||
| Fickle | 2000 | ⊕ United Kingdom | |||
| Flora 2 | 2000 | ⊕ France | |||
| FOG/C++ | 2000 | Concurrent OO Language | |||
| FOG++ | 2000 | Concurrent OO Language | |||
| FOQL | 2000 | ↓ ↑ ⊕ Experimental and other | ⊕ United States | Fuzzy Object Query Language | |
| Fortran 2000 | 2000 | ||||
| Fortran.NET | 2000 | ⊕ Japan | |||
| Fragmented Objects | 2000 | Concurrent OO Language | |||
| GdH | 2000 | ⊕ United Kingdom | |||
| GDL | 2000 | ||||
| Generic Haskell | 2000 | ⊕ Germany | |||
| Glee | 2000 | ↓ ↑ ⊕ Experimental and other | ⊕ Array | ⊕ United States | APL language with structures |
| GLIF | 2000 | ||||
| GRG | 2000 | ⊕ Russian Federation | |||
| GROUPLOG | 2000 | ||||
| GXL | 2000 | ⊕ Germany | |||
| Harmony | 2000 | Concurrent OO Language | |||
| Helios | 2000 | ||||
| HoME | 2000 | Concurrent OO Language | |||
| Hot Dog | 2000 | ⊕ United States | |||
| HPJava | 2000 | Concurrent OO Language | |||
| HUGS.NET | 2000 | ⊕ United Kingdom | |||
| IceT | 2000 | Concurrent OO Language | |||
| indiGOLOG | 2000 | ⊕ Germany | |||
| JARGOL | 2000 | ↓ ↑ ⊕ Experimental and other | ⊕ Strict evaluation LISPs | ⊕ United States | Proposed algorithmic language by Rees |
| Jas | 2000 | ⊕ Poland | |||
| Java// | 2000 | Concurrent OO Language | |||
| Java/RMI | 2000 | Concurrent OO Language | |||
| JavaML | 2000 | ⊕ United States | |||
| JavaParty | 2000 | Concurrent OO Language | |||
| Karos | 2000 | Concurrent OO Language | |||
| Kylix | 2000 | ⊕ United States | Cross-platform version of Delphi | ||
| LARIS | 2000 | ↓ ↑ ⊕ Specialised Languages | ⊕ Netherlands | ||
| LISA | 2000 | ↓ ↑ ⊕ Specialised Languages | ⊕ RETE and production | ⊕ United States | LISP expert system shell |
| LOOPN++ | 2000 | ↓ ↑ ⊕ Specialised Languages | ⊕ Australia | LOOPN generating C++ | |
| Mahoroba | 2000 | ⊕ Japan | |||
| Marmot | 2000 | ⊕ United States | |||
| Mediators | 2000 | Concurrent OO Language | |||
| Meyer’s Proposal | 2000 | Concurrent OO Language | |||
| MIXAL.NET | 2000 | ↓ ↑ ⊕ Experimental and other | ⊕ Russian Federation | MIXAL for .NET | |
| Monk | 2000 | ⊕ United States | |||
| Moscow ML 2 | 2000 | ⊕ Russian Federation | |||
| MPC++ | 2000 | Concurrent OO Language | |||
| MPD | 2000 | ⊕ United States | Distributed parallel langiage | ||
| Multiprocessor-Smalltalk | 2000 | Concurrent OO Language | |||
| NAM | 2000 | Concurrent OO Language | |||
| NetLinx | 2000 | ⊕ United States | |||
| OpenAda | 2000 | ⊕ United States | |||
| OPLSCRIPT | 2000 | ⊕ Belgium | Scripting for OPL studio | ||
| OpusJava | 2000 | ⊕ Germany | |||
| parallel C++ | 2000 | Concurrent OO Language | |||
| Parallel Computing Action | 2000 | Concurrent OO Language | |||
| Parallel Object-Oriented Fortran | 2000 | ↓ ↑ ⊕ Numerical Scientific | ⊕ United States | Concurrent OO Language | |
| Perdio | 2000 | Concurrent OO Language | |||
| pGOLOG | 2000 | ⊕ Germany | |||
| Piccola2 | 2000 | ⊕ Switzerland | |||
| pikt | 2000 | ⊕ United States | |||
| PLD2 | 2000 | ⊕ United States | |||
| PO | 2000 | Concurrent OO Language | |||
| POOL | 2000 | ||||
| ProActive PDC | 2000 | Concurrent OO Language | |||
| PROLIX | 2000 | ⊕ Spain | |||
| Proof | 2000 | Concurrent OO Language | |||
| PVM++ | 2000 | Concurrent OO Language | |||
| QPC++ | 2000 | Concurrent OO Language | |||
| qSoul | 2000 | ⊕ Belgium | |||
| RAL | 2000 | ||||
| rc | 2000 | ↓ ↑ ⊕ Multi-purpose | Region C | ||
| Rosette | 2000 | ↓ ↑ ⊕ Experimental and other | ⊕ United States | Concurrent OO Language | |
| SAM | 2000 | ||||
| SANPLAN | 2000 | ↓ ↑ ⊕ Experimental and other | ⊕ India | ||
| scangen | 2000 | ↓ ↑ ⊕ Specialised Languages | ⊕ Netherlands | Scanner-generator for ELEGANT | |
| Scheduling Predicates | 2000 | Concurrent OO Language | |||
| sheep | 2000 | ||||
| SHOE | 2000 | ↓ ↑ ⊕ Experimental and other | ⊕ United States | HTML extension set for the semantic web | |
| SIVIL | 2000 | ||||
| SKY | 2000 | ⊕ Italy | |||
| SLAM-SYSTEM | 2000 | ⊕ Event scheduling | |||
| SLC | 2000 | ||||
| Sloth | 2000 | ||||
| SMIL | 2000 | ⊕ United States | |||
| SOUL | 2000 | ⊕ Belgium | |||
| SPicolla | 2000 | ⊕ Switzerland | |||
| SPL | 2000 | ↓ ↑ ⊕ Specialised Languages | Signal Processing Lanugage | ||
| SQL3 | 2000 | ⊕ International | |||
| Squeak Prolog | 2000 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ||
| STAR | 2000 | ↓ ↑ ⊕ Specialised Languages | ⊕ Switzerland | ||
| Stek | 2000 | ⊕ Poland | |||
| Stella | 2000 | ||||
| STOICAL | 2000 | ⊕ United States | |||
| TANGRAM | 2000 | ||||
| TCongolog | 2000 | ⊕ United States | |||
| TeLa | 2000 | ↓ ↑ ⊕ Numerical Scientific | ⊕ United States | ||
| TKSolver 2 | 2000 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Algebraic | ⊕ United States | |
| Trellis/Owl | 2000 | Concurrent OO Language | |||
| Tycoon-2 | 2000 | ⊕ Germany | |||
| Ubik | 2000 | ↓ ↑ ⊕ Specialised Languages | ⊕ Actor | ⊕ United States | Generalised ACTORS system |
| Unicon | 2000 | ⊕ United States | Object oriented dialect of Icon | ||
| Vision Results 2000 | 2000 | ↓ ↑ ⊕ Business Data Processing | ⊕ United States | Auditing language | |
| Vision:Sixty | 2000 | ↓ ↑ ⊕ Business Data Processing | ⊕ United States | Auditing language | |
| Visual | 2000 | ||||
| VSPL | 2000 | ⊕ United Kingdom | |||
| WebL | 2000 | ↓ ↑ ⊕ Specialised Languages | ⊕ Pascals | ⊕ United States | Compaq web language |
| xADL | 2000 | ⊕ United States | |||
| X-KLAIM | 2000 | ↓ ↑ ⊕ Experimental and other | ⊕ Italy | Language for organising mobile agents and their interaction strategies | |
| XVRL | 2000 | ⊕ International | |||
| Yacas | 2000 | ||||
| YAFL | 2000 | ⊕ Belgium | OO 3G language with garbage collection | ||
| Yoix | 2000 |