ABS
file_extension
.abs
influenced_by
Ruby
Python
JavaScript
Bash
language_type
scripting
website
https://www.abs-lang.org
ALGOL
origin_year
1958
paradigm
procedural
imperative
structured
scope
lexical
type_system
static
strong
APL
origin_year
1966
paradigm
array
functional
structured
modular
type_system
dynamic
ATS
file_extension
.sats
.dats
.hats
origin_year
2020
paradigm
multi
functional
imperative
type_system
static
website
https://www.cs.bu.edu/~hwxi/atslangweb/
Ada
file_extension
.adb
.ads
influenced_by
ALGOL
Pascal
Simula
C++
Smalltalk
Modula-2
Java
Eiffel
origin_year
1980
paradigm
multi
structured
imperative
object_oriented
aspect-oriented
concurrent
array
distributed
generic
procedural
meta
type_system
static
strong
safe
nominal
website
https://www.adaic.org
Agda
file_extension
.agda
.lagda
.lagda.md
.lagda.rst
.lagda.tex
influenced_by
Coq
Epigram
Haskell
origin_year
1999
paradigm
functional
type_system
strong
static
dependent
nominal
manifest
inferred
website
https://wiki.portal.chalmers.se/agda/pmwiki.php
AssemblyScript
compiles_to
WebAssembly
file_extension
.ts
website
https://www.assemblyscript.org
Ballerina
file_extension
.bal
website
https://ballerina.io
Beef
file_extension
.bf
language_type
game_development
website
https://www.beeflang.org
Bloom
file_extension
.rb
website
http://bloom-lang.net
Bolin
website
https://bolinlang.com
C
expression_style
infix
file_extension
.c
.h
influenced_by
B
ALGOL
assembly
PL/I
FORTRAN
origin_year
1972
paradigm
multi
imperative
procedural
structured
type_system
static
weak
manifest
nominal
C++
expression_style
infix
file_extension
.C
.cc
.cpp
.cxx
.c++
.h
.H
.hh
.hpp
.hxx
.h++
influenced_by
Ada
ALGOL
BCPL
C
CLU
F#
ML
Mesa
Modula-2
Simula
Smalltalk
origin_year
1985
paradigm
multi
procedural
imperative
functional
object_oriented
generic
modular
type_system
static
strong
nominative
partially_inferred
website
https://isocpp.org
C4wa
compiles_to
WebAssembly
file_extension
.c
.h
website
https://github.com/kign/c4wa
COBOL
file_extension
.cbl
.cob
.cpy
origin_year
1959
paradigm
procedural
imperative
object_oriented
generic
natural_language
type_system
weak
static
Carp
expression_style
prefix
family
lisp
file_extension
.carp
influenced_by
Lisp
website
https://github.com/carp-lang/Carp
Clean
file_extension
.icl
.dcl
.abc
influenced_by
Lean
Miranda
Haskell
origin_year
1987
paradigm
functional
type_system
strong
static
dynamic
website
https://wiki.clean.cs.ru.nl/Clean
Clojure
compiles_to
JVM
family
lisp
file_extension
.clj
.cljs
.cljc
.edn
origin_year
2007
paradigm
multi
agent_oriented
concurrent
functional
logic
macro
pipeline
type_system
dynamic
strong
website
https://clojure.org
ClojureScript
compiles_to
JavaScript
family
lisp
website
https://github.com/clojure/clojurescript
Co
compiles_to
native
WebAssembly
website
https://co-lang.org/
Coq
origin_year
1989
paradigm
proof_assistant
website
https://coq.inria.fr/
Crystal
file_extension
.cr
origin_year
2014
paradigm
multi
object_oriented
concurrent
type_system
static
inferred
nominal
duck
website
https://crystal-lang.org/
Cyber
file_extension
.cy
language_type
scripting
embeddable
website
https://cyberscript.dev/
D
file_extension
.d
origin_year
2001
paradigm
multi
functional
imperative
object_oriented
type_system
inferred
static
strong
website
https://dlang.org/
Dart
Dyon
Eclair
Eel
Elixir
Elm
Erlang
F Sharp
Faust
Fennel
Forest
Forth
Go
Gosu
Grain
Haskell
Haxe
Hope
Hy
IPL
origin_year
1956
paradigm
assembly
Idris
Inko
Java
JavaScript
Julia
Koka
Kotlin
Kou
Lisp
expression_style
prefix
influenced_by
IPL
origin_year
1960
paradigm
multi
functional
procedural
reflective
meta
type_system
dynamic
strong
Lobster
Lua
Lys
ML
influenced_by
ISWIM
origin_year
1973
paradigm
multi
functional
generic
imperative
type_system
inferred
static
strong
Magpie
Mint
MoonScript
Mun
Never
Nim
NuShell
Ocaml
Opa
PHP
PRQL
Pascal
Perl
Picat
Plorth
Poetry
Pony
Prolog
file_extension
.pl
.pro
.P
influenced_by
Planner
origin_year
1972
paradigm
logic
type_system
untyped
PureScript
Python
ReScript
Roc
Ruby
Rust
SIMSCRIPT
origin_year
1962
paradigm
natural_language
Scala
ScalaJS
Scheme
Scopes
Simuala
influenced_by
ALGOL
SIMSCRIPT
origin_year
1962
paradigm
multi
procedural
imperative
structured
object_oriented
scope
lexical
type_system
static
nominative
Smalltalk
influenced_by
Lisp
Simula
Euler
IMP
Planner
Logo
Sketchpad
ARPAnet
Burroughs B5000
origin_year
1972
paradigm
object_oriented
scope
lexical
type_system
objects
strong
dynamic
Squiggle
Swift
Telescript
TypeScript
Unison
Urn
Val
Vale
Verse
Wa
Wah
Walt
Wam
Wase
WebAssembly
Wracket
Wren
Zig